diff options
| author | Johannes 'josch' Schauer <josch@mister-muffin.de> | 2017-11-19 00:40:01 +0100 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2017-11-18 23:42:37 +0000 |
| commit | bd29f3fb2df3446f7d02b2a2c5871eae0a9ea278 (patch) | |
| tree | e21c7f6338473a2d4c6a72aac8fce03f3f01b809 /bin | |
| parent | 0aba57e5d584d44e121171b0694549c0bf01a31d (diff) | |
| download | jenkins.debian.net-bd29f3fb2df3446f7d02b2a2c5871eae0a9ea278.tar.xz | |
bin/common-functions.sh: Add additional explanation to wording
Signed-off-by: Holger Levsen <holger@layer-acht.org>
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/common-functions.sh | 4 |
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 |