From 9bc1247357f26c02f55b2dbac0e39879bc1f194f Mon Sep 17 00:00:00 2001 From: Helmut Grohne Date: Mon, 5 Oct 2020 21:55:42 +0200 Subject: 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. --- schema.sql | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'schema.sql') diff --git a/schema.sql b/schema.sql index d57867b..56184be 100644 --- a/schema.sql +++ b/schema.sql @@ -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); -- cgit v1.2.3