diff options
| -rwxr-xr-x | bin/reproducible_build.sh | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/bin/reproducible_build.sh b/bin/reproducible_build.sh index 5fcda1a6..4c1208f2 100755 --- a/bin/reproducible_build.sh +++ b/bin/reproducible_build.sh @@ -276,11 +276,7 @@ handle_unhandled() { MESSAGE="$BUILD_URL met an unhandled $1, please investigate." echo "$MESSAGE" irc_msg "$MESSAGE" - if [ -z "$2" ] ; then - sleep 15m - else - sleep $2 - fi + sleep 5m exec /srv/jenkins/bin/abort.sh exit 0 } |