summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xbin/common-functions.sh4
1 files changed, 4 insertions, 0 deletions
diff --git a/bin/common-functions.sh b/bin/common-functions.sh
index 48ee872f..314ad2c8 100755
--- a/bin/common-functions.sh
+++ b/bin/common-functions.sh
@@ -27,6 +27,10 @@ abort_if_bug_is_still_open() {
echo
echo "Warning: aborting the job because of bug because #$1"
echo
+ echo "After having fixed the cause for #$1, remove the check from common_init()"
+ echo "in bin/common-functions.sh and re-run the job. Close #$1 after the"
+ echo "problem is indeed fixed."
+ echo
exec /srv/jenkins/bin/abort.sh
exit 0
fi