diff options
| author | Mattia Rizzolo <mattia@mapreri.org> | 2015-04-19 15:38:35 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-04-20 12:42:35 +0200 |
| commit | 8b7aacfc06d64c68d4958de9bb86f4a443300d30 (patch) | |
| tree | e039030b3d52a359759779d946578dedea8f419e /bin | |
| parent | 6d42794e0805ac28135ec2ff008ea8088782361b (diff) | |
| download | jenkins.debian.net-8b7aacfc06d64c68d4958de9bb86f4a443300d30.tar.xz | |
reproducible: build: fix last commit by catching another corner case
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/reproducible_build.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/reproducible_build.sh b/bin/reproducible_build.sh index 4369435c..c266ac77 100755 --- a/bin/reproducible_build.sh +++ b/bin/reproducible_build.sh @@ -303,11 +303,13 @@ init() { if [ -z "$(sqlite3 -init $INIT ${PACKAGES_DB} "SELECT date_build_started FROM schedule WHERE package_id = '$SRCPKGID'")" ] ; then sqlite3 -init $INIT ${PACKAGES_DB} "REPLACE INTO schedule (package_id, date_scheduled, date_build_started) VALUES ('$SRCPKGID', '$SCHEDULED_DATE', '$DATE');" else + BAD_LOCKFILE=true handle_race_condition db fi if [ ! -f "$LOCKFILE" ] ; then echo $$ > "$LOCKFILE" else + BAD_LOCKFILE=true handle_race_condition init fi echo "Starting to build ${SRCPACKAGE}/${SUITE} on $DATE" | tee ${RBUILDLOG} |