diff options
Diffstat (limited to 'bin/reproducible_build.sh')
| -rwxr-xr-x | bin/reproducible_build.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/reproducible_build.sh b/bin/reproducible_build.sh index da3a9f4b..d6c4578e 100755 --- a/bin/reproducible_build.sh +++ b/bin/reproducible_build.sh @@ -273,7 +273,7 @@ handle_unhandled() { else sleep $2 fi - /srv/jenkins/bin/abort.sh + exec /srv/jenkins/bin/abort.sh exit 0 } @@ -541,7 +541,7 @@ remote_build() { if [ $RESULT -ne 0 ] ; then echo "$(date -u) - $NODE seems to be down, sleeping 23min before aborting this job." sleep 23m - /srv/jenkins/bin/abort.sh + exec /srv/jenkins/bin/abort.sh fi ssh -p $PORT $NODE /srv/jenkins/bin/reproducible_build.sh $BUILDNR ${SRCPACKAGE} ${SUITE} ${TMPDIR} RESULT=$? |