diff options
Diffstat (limited to 'bin/reproducible_setup.sh')
| -rwxr-xr-x | bin/reproducible_setup.sh | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/bin/reproducible_setup.sh b/bin/reproducible_setup.sh index 50c7ac44..9bd0b341 100755 --- a/bin/reproducible_setup.sh +++ b/bin/reproducible_setup.sh @@ -18,9 +18,22 @@ if [ ! -f ${PACKAGES_DB} ] ; then build_date TEXT NOT NULL, PRIMARY KEY (name))' sqlite3 ${PACKAGES_DB} ' + CREATE TABLE sources_scheduled + (name TEXT NOT NULL, + date_scheduled TEXT NOT NULL, + date_build_started TEXT NOT NULL, + PRIMARY KEY (name))' + sqlite3 ${PACKAGES_DB} ' CREATE TABLE sources (name TEXT NOT NULL, version TEXT NOT NULL)' +elif [ -f $PACKAGES_DB.lock ] ; then + for i in $(seq 0 100) ; do + sleep 15 + [ -f $PACKAGES_DB.lock ] || break + done + echo "$PACKAGES_DB.lock still exist, exiting." + exit 1 fi # 30 seconds timeout when trying to get a lock INIT=/var/lib/jenkins/reproducible.init |