diff options
| author | Holger Levsen <holger@layer-acht.org> | 2017-06-03 16:37:17 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2017-06-03 16:37:17 +0200 |
| commit | fda62ff6877a134eb86f7dd7769d8f49e8b045ca (patch) | |
| tree | 6f65e2f712bae275ca6d4d44687a160b8d40b8b3 /bin/reproducible_build.sh | |
| parent | ba68a4ac163920308b07c92a94f368404b482683 (diff) | |
| download | jenkins.debian.net-fda62ff6877a134eb86f7dd7769d8f49e8b045ca.tar.xz | |
reproducible Debian: show many build jobs are down due to remote node problems
Signed-off-by: Holger Levsen <holger@layer-acht.org>
Diffstat (limited to 'bin/reproducible_build.sh')
| -rwxr-xr-x | bin/reproducible_build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/reproducible_build.sh b/bin/reproducible_build.sh index 3442cd02..bce93b2b 100755 --- a/bin/reproducible_build.sh +++ b/bin/reproducible_build.sh @@ -735,7 +735,7 @@ check_node_is_up() { if [ $RESULT -ne 0 ] ; then echo "$(date -u) - $NODE seems to be down, sleeping ${SLEEPTIME}min before aborting this job." unregister_build - sleep ${SLEEPTIME}m + sleep ${SLEEPTIME}.1337m exec /srv/jenkins/bin/abort.sh fi set -e |