diff options
-rwxr-xr-x | bin/reproducible_build.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/reproducible_build.sh b/bin/reproducible_build.sh index 27088555..95294376 100755 --- a/bin/reproducible_build.sh +++ b/bin/reproducible_build.sh @@ -387,6 +387,8 @@ init() { fi echo "Starting to build ${SRCPACKAGE}/${SUITE}/${ARCH} on $DATE" | tee ${RBUILDLOG} echo "The jenkins build log is/was available at ${BUILD_URL}console" | tee -a ${RBUILDLOG} + # used to catch race conditions when the same package is being built by two parallel jobs + LOCKFILE="/tmp/reproducible-lockfile-${SUITE}-${ARCH}-${SRCPACKAGE}" } get_source_package() { @@ -415,8 +417,6 @@ get_source_package() { DBDREPORT="${SRCPACKAGE}_${EVERSION}.debbindiff.html" DBDTXT="${SRCPACKAGE}_${EVERSION}.debbindiff.txt" BUILDINFO="${SRCPACKAGE}_${EVERSION}_${ARCH}.buildinfo" - # used to catch race conditions when the same package is being built by two parallel jobs - LOCKFILE="/tmp/reproducible-lockfile-${SUITE}-${ARCH}-${SRCPACKAGE}" } check_suitability() { |