diff options
| -rwxr-xr-x | bin/reproducible_build_service.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/bin/reproducible_build_service.sh b/bin/reproducible_build_service.sh index 15a694ae..51cf88b3 100755 --- a/bin/reproducible_build_service.sh +++ b/bin/reproducible_build_service.sh @@ -2,10 +2,14 @@ # Copyright © 2017 Holger Levsen (holger@layer-acht.org) +set -x + echo $0 echo $1 export +sleep 3 + BUILD_ID=$1 BUILD_URL=https://jenkins.debian.net/userContent/build_service/$BUILD_ID |