From 7d933cdeca8c02cadddb830d149ee80cd2b59372 Mon Sep 17 00:00:00 2001 From: dancer Date: Tue, 7 Jun 2005 23:35:55 +0000 Subject: update --- examples/execute_installtest.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'examples') diff --git a/examples/execute_installtest.sh b/examples/execute_installtest.sh index aef24a5..de68d34 100755 --- a/examples/execute_installtest.sh +++ b/examples/execute_installtest.sh @@ -14,7 +14,7 @@ set -ex # practically, killing is not enough, do a reboot here instead. echo 'nobody@nowhere' > /etc/mailname -echo '$Id' +echo '$Id$' INSTALLTESTPID=$$ ( sleep 1h ; kill $INSTALLTESTPID ) & KILLPID=$! -- cgit v1.2.3