diff options
| -rwxr-xr-x | bin/reproducible_build_service.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/bin/reproducible_build_service.sh b/bin/reproducible_build_service.sh index 55a4ca90..18710449 100755 --- a/bin/reproducible_build_service.sh +++ b/bin/reproducible_build_service.sh @@ -18,12 +18,14 @@ set -x # sleep 1-23 secs to randomize start times /bin/sleep $(echo "scale=1 ; $(shuf -i 1-230 -n 1)/10" | bc ) -BUILD_URL=https://jenkins.debian.net/userContent/build_service/$1 BUILD_BASE=/var/lib/jenkins/userContent/reproducible/debian/build_service/$1 OLD_ID=$((ls -1rt $BUILD_BASE||echo 0)|tail -1) let BUILD_ID=OLD_ID+1 mkdir -p $BUILD_BASE/$BUILD_ID +export BUILD_URL=https://jenkins.debian.net/userContent/build_service/$1 +export JOB=$1/$BUILD_ID + case $1 in arm64_builder1) NODE1=codethink-sled12-arm64 NODE2=codethink-sled15-arm64 ;; *) echo "Sleeping 60min" |