diff options
| author | Holger Levsen <holger@layer-acht.org> | 2014-04-27 19:41:54 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2014-04-27 19:42:45 +0200 |
| commit | 8e3b14d2d0d8ce074dc941b0246feaaf00e67edf (patch) | |
| tree | 999d088047f80013ae113188b7e0303b0ed9beed /bin | |
| parent | 2584bfa9e59a9810a3c8326093896556852c521a (diff) | |
| download | jenkins.debian.net-8e3b14d2d0d8ce074dc941b0246feaaf00e67edf.tar.xz | |
be more verbose
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 7da3f7fb..30094264 100755 --- a/bin/common-functions.sh +++ b/bin/common-functions.sh @@ -4,7 +4,7 @@ # released under the GPLv=2 common_cleanup(){ - echo "Cleaned up $TTT, finished running $0" + echo "$(date) - $0 stopped running as $TTT, which will now be removed." rm -f $TTT } @@ -23,7 +23,7 @@ if [ "${0:0:5}" != "/tmp/" ] ; then # (Running shell scripts fail weirdly when overwritten when running, # this hack makes it possible to overwrite long running scripts # anytime...) - echo "Start running \"$0\" as \"$TTT\" with arguments \"$@\"" + echo "$(date) - start running \"$0\" as \"$TTT\" using \"$@\" as arguments." $TTT "$@" exit $? # cleanup is done automatically via trap |