diff options
-rwxr-xr-x | bin/reproducible_build_service.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/reproducible_build_service.sh b/bin/reproducible_build_service.sh index 4f801580..bd37621f 100755 --- a/bin/reproducible_build_service.sh +++ b/bin/reproducible_build_service.sh @@ -57,8 +57,8 @@ for i in $(seq 1 2) ; do /srv/jenkins/bin/reproducible_build_service_worker.sh $WORKER_NAME $NODE1 $NODE2 >$BUILD_BASE/worker.log 2>&1 & done -# not sure if this is really needed… -while true ; do sleep 5m ; done +# keep running forever… +while true ; do sleep 23m ; done # TODO left: # * maintenance job needs to: |