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 /schema.sql | |
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 'schema.sql')
-rw-r--r-- | schema.sql | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -46,3 +46,8 @@ CREATE TABLE bugs ( title TEXT, patched BOOLEAN NOT NULL CHECK (patched in (0, 1))); CREATE INDEX bugs_affects_index ON bugs(affects); + +CREATE TABLE building ( + source TEXT NOT NULL, + architecture TEXT NOT NULL, + pid INTEGER NOT NULL); |