diff options
| author | Holger Levsen <holger@layer-acht.org> | 2017-06-03 17:07:40 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2017-06-03 17:07:40 +0200 |
| commit | ea24e8388a9d74a6a9635f57ad87ded52b4c4265 (patch) | |
| tree | f2d91a0457c901cb67b8e17513ee85c005369bb7 | |
| parent | 37c1d3638814dfdc50de2618a8d602d06ee17011 (diff) | |
| download | jenkins.debian.net-ea24e8388a9d74a6a9635f57ad87ded52b4c4265.tar.xz | |
reproducible Debian: actually support commenting out specific workers
Signed-off-by: Holger Levsen <holger@layer-acht.org>
| -rwxr-xr-x | bin/reproducible_build_service.sh | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/bin/reproducible_build_service.sh b/bin/reproducible_build_service.sh index b2149153..fd938091 100755 --- a/bin/reproducible_build_service.sh +++ b/bin/reproducible_build_service.sh @@ -203,8 +203,7 @@ choose_nodes() { # armhf_75) NODE1=odc2a-armhf-rb NODE2=cbxi4pro0-armhf-rb ;; # armhf_76) NODE1=odc2a-armhf-rb NODE2=odxu4-armhf-rb ;; - *) echo "Sleeping 60min" - sleep 60m + *) NODE1=undefined ;; esac } @@ -245,10 +244,12 @@ startup_workers() { # actually start the worker # choose_nodes $WORKER_NAME - BUILD_BASE=/var/lib/jenkins/userContent/reproducible/debian/build_service/$WORKER_NAME - mkdir -p $BUILD_BASE - echo "$(date --utc) - Starting $WORKER_NAME" - $WORKER_BIN $WORKER_NAME $NODE1 $NODE2 >$BUILD_BASE/worker.log 2>&1 & + if [ "$NODE1" != "undefined" ] ; then + BUILD_BASE=/var/lib/jenkins/userContent/reproducible/debian/build_service/$WORKER_NAME + mkdir -p $BUILD_BASE + echo "$(date --utc) - Starting $WORKER_NAME" + $WORKER_BIN $WORKER_NAME $NODE1 $NODE2 >$BUILD_BASE/worker.log 2>&1 & + fi done done } |