From 759a9b5da7a678c03f86fca7ecac57060721c53a Mon Sep 17 00:00:00 2001 From: Holger Levsen Date: Fri, 7 Nov 2014 12:32:07 +0000 Subject: slightly improve wording --- bin/common-functions.sh | 4 ++-- 1 file 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 "$@" -- cgit v1.2.3-54-g00ecf