diff options
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 92cf10a..4249a96 100755 --- a/src/tests/ktests/run_qemu_test.sh +++ b/src/tests/ktests/run_qemu_test.sh @@ -7,7 +7,7 @@ MAPFILE=$3 RESULTFILE=`mktemp` PIDFILE=`mktemp` -(timeout 10s qemu-system-i386 -kernel $BINFILE -initrd $MAPFILE -serial stdio -m 16 -display none 2>/dev/null \ +(timeout 3s qemu-system-i386 -kernel $BINFILE -initrd $MAPFILE -serial stdio -m 16 -display none 2>/dev/null \ & echo $! >$PIDFILE) \ | tee >(grep -m 1 "TEST-" >$RESULTFILE; kill -INT `cat $PIDFILE`) > $LOGFILE |