summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJohannes 'josch' Schauer <josch@mister-muffin.de>2017-11-19 00:40:01 +0100
committerHolger Levsen <holger@layer-acht.org>2017-11-18 23:42:37 +0000
commitbd29f3fb2df3446f7d02b2a2c5871eae0a9ea278 (patch)
treee21c7f6338473a2d4c6a72aac8fce03f3f01b809
parent0aba57e5d584d44e121171b0694549c0bf01a31d (diff)
downloadjenkins.debian.net-bd29f3fb2df3446f7d02b2a2c5871eae0a9ea278.tar.xz
bin/common-functions.sh: Add additional explanation to wording
Signed-off-by: Holger Levsen <holger@layer-acht.org>
-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