diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2020-10-05 21:55:42 +0200 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2020-10-05 21:55:42 +0200 |
| commit | 9bc1247357f26c02f55b2dbac0e39879bc1f194f (patch) | |
| tree | f68560291381f6b86eb4e5c324c20b7fccaf1e4a /.gitignore | |
| parent | 7b9284d2e4e5015298d67e2f22c19cf8cec1c320 (diff) | |
| download | crossqa-9bc1247357f26c02f55b2dbac0e39879bc1f194f.tar.gz | |
support concurrent builds
Add new table "building" for recording builds in progress. When a
concurrent build is issued, it will avoid building a source package that
is presently built. It will also avoid building for an architecture that
is presently built for. The latter condition helps reduce the number of
satisfiability issues.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions