diff options
author | Holger Levsen <holger@layer-acht.org> | 2017-04-26 12:39:18 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2017-04-26 12:39:18 +0200 |
commit | 1f4e428d123487214a8ce421fbbaf07fccde72ba (patch) | |
tree | e2c5f11d1335028cc7e616d20b2c33061d69c423 | |
parent | 54cfe059808eb26b802a3f6d15ee2150083300fe (diff) | |
download | jenkins.debian.net-1f4e428d123487214a8ce421fbbaf07fccde72ba.tar.xz |
reproducible Debian: this should keep running 'forever'
Signed-off-by: Holger Levsen <holger@layer-acht.org>
-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: |