diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/reproducible_build.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/reproducible_build.sh b/bin/reproducible_build.sh index b8483001..de2cd535 100755 --- a/bin/reproducible_build.sh +++ b/bin/reproducible_build.sh @@ -268,6 +268,7 @@ handle_unhandled() { MESSAGE="$BUILD_URL met an unhandled $1, please investigate." echo "$MESSAGE" irc_msg "$MESSAGE" + sleep 15m /srv/jenkins/bin/abort.sh exit 0 } |