diff options
Diffstat (limited to 'bin/reproducible_build_service.sh')
| -rwxr-xr-x | bin/reproducible_build_service.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/reproducible_build_service.sh b/bin/reproducible_build_service.sh index 0ca3a649..55a4ca90 100755 --- a/bin/reproducible_build_service.sh +++ b/bin/reproducible_build_service.sh @@ -20,9 +20,9 @@ set -x BUILD_URL=https://jenkins.debian.net/userContent/build_service/$1 BUILD_BASE=/var/lib/jenkins/userContent/reproducible/debian/build_service/$1 -mkdir -p $BUILD_BASE OLD_ID=$((ls -1rt $BUILD_BASE||echo 0)|tail -1) let BUILD_ID=OLD_ID+1 +mkdir -p $BUILD_BASE/$BUILD_ID case $1 in arm64_builder1) NODE1=codethink-sled12-arm64 NODE2=codethink-sled15-arm64 ;; |