diff options
| author | Holger Levsen <holger@layer-acht.org> | 2014-11-07 12:32:07 +0000 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2014-11-07 12:32:07 +0000 |
| commit | 759a9b5da7a678c03f86fca7ecac57060721c53a (patch) | |
| tree | 5eee6005729be5c299270e4c6bbf17b6b5888398 /bin | |
| parent | 82a784eef9a69d34e3ed492e0cb8478759eddab4 (diff) | |
| download | jenkins.debian.net-759a9b5da7a678c03f86fca7ecac57060721c53a.tar.xz | |
slightly improve wording
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/common-functions.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/common-functions.sh b/bin/common-functions.sh index 80908851..fc276c0d 100755 --- a/bin/common-functions.sh +++ b/bin/common-functions.sh @@ -37,11 +37,11 @@ if [ "${0:0:5}" != "/tmp/" ] ; then echo "To understand what this job does, clone git.debian.org/git/qa/jenkins.debian.net.git" echo "and then have a look at bin/$(basename $0)" echo - echo "The script is called using \"$@\" as arguments." + echo "This invocation of the script has been called using \"$@\" as arguments." echo echo "====================================================================================" - echo echo "$(date) - start running \"$0\" as \"$TTT\"." + echo # this is the "hack": call ourself as a copy in /tmp again # (setsid is not related to this hack. see commit log for 24deda5a8 it.) /srv/jenkins/bin/setsid.py $TTT "$@" |