summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xbin/reproducible_build.sh1
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/reproducible_build.sh b/bin/reproducible_build.sh
index 8109ee07..4f16d105 100755
--- a/bin/reproducible_build.sh
+++ b/bin/reproducible_build.sh
@@ -49,6 +49,7 @@ handle_race_condition() {
SAVE_ARTIFACTS=0
if [ ! -z "$NOTIFY" ] ; then NOTIFY="failure" ; fi
fi
+ exec /srv/jenkins/bin/abort.sh
exit 0
}