diff options
| author | Alex Auvolat <alex@adnab.me> | 2016-07-30 23:39:14 +0200 |
|---|---|---|
| committer | Alex Auvolat <alex@adnab.me> | 2016-07-30 23:39:14 +0200 |
| commit | 2f34f0694f953fd00d2885b86634bbd618852fed (patch) | |
| tree | 2eabba74b136043596e0bc6e5148184a4e7da87b /src/tests/ktests | |
| parent | f58f65c30de315d4419f69a92a708cbed797ff37 (diff) | |
| download | kogata-2f34f0694f953fd00d2885b86634bbd618852fed.tar.gz kogata-2f34f0694f953fd00d2885b86634bbd618852fed.zip | |
Fix stuff
Diffstat (limited to 'src/tests/ktests')
| -rwxr-xr-x | src/tests/ktests/run_qemu_test.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tests/ktests/run_qemu_test.sh b/src/tests/ktests/run_qemu_test.sh index bc86f12..d27fa97 100755 --- a/src/tests/ktests/run_qemu_test.sh +++ b/src/tests/ktests/run_qemu_test.sh @@ -6,7 +6,7 @@ LOGFILE=$2 RESULTFILE=`mktemp` PIDFILE=`mktemp` -(timeout 3s qemu-system-i386 -kernel $BINFILE -serial stdio -m 16 -display none 2>/dev/null \ +(timeout 5s qemu-system-i386 -kernel $BINFILE -serial stdio -m 16 -display none 2>/dev/null \ & echo $! >$PIDFILE) \ | tee >(grep -m 1 "TEST-" >$RESULTFILE; kill -INT `cat $PIDFILE`) > $LOGFILE |