diff options
Diffstat (limited to 'bin/common-functions.sh')
| -rwxr-xr-x | bin/common-functions.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/common-functions.sh b/bin/common-functions.sh index d98f35db..c8226320 100755 --- a/bin/common-functions.sh +++ b/bin/common-functions.sh @@ -84,6 +84,7 @@ if [ "${0:0:5}" != "/tmp/" ] ; then echo "has been called using \"$@\" as arguments." echo echo "Please send technical feedback about jenkins to qa-jenkins-dev@lists.alioth.debian.org," + echo "or as a bug against the 'jenkins.debian.org' pseudo-package," echo "feedback about specific jobs result should go to their respective lists and/or the BTS." echo echo "====================================================================================" |