diff options
Diffstat (limited to 'examples/execute_installtest.sh')
-rwxr-xr-x | examples/execute_installtest.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/examples/execute_installtest.sh b/examples/execute_installtest.sh index c574e76..13f14f0 100755 --- a/examples/execute_installtest.sh +++ b/examples/execute_installtest.sh @@ -13,7 +13,6 @@ set -ex # practically, killing is not enough, do a reboot here instead. echo 'nobody@nowhere' > /etc/mailname -echo '$Id$' INSTALLTESTPID=$$ ( sleep 1h ; kill $INSTALLTESTPID ) & KILLPID=$! |