diff options
Diffstat (limited to 'bin/common-functions.sh')
| -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 f17fd264..f809cdb9 100755 --- a/bin/common-functions.sh +++ b/bin/common-functions.sh @@ -18,6 +18,10 @@ common_cleanup(){ common_init() { # check whether this script has been started from /tmp already if [ "${0:0:5}" != "/tmp/" ] ; then + if [ "$HOSTNAME" = "jenkins-test-vm" ] ; then + echo "$(date -u) - running on $HOSTNAME, exiting successfully and cleanly immediatly." + exit 0 + fi # check that we are not root if [ $(id -u) -eq 0 ] ; then echo "Do not run this as root." |