diff options
-rwxr-xr-x | run-test.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/run-test.sh b/run-test.sh index 71c6ea7..4ef176e 100755 --- a/run-test.sh +++ b/run-test.sh @@ -45,7 +45,7 @@ sleep 5 > /tmp/amit/guest-big-file > /tmp/amit/guest-csumfile time ./auto-virtserial -pkill qemu +pkill -9 qemu #exit; # -- Iteration 2: old kernel, new qemu -- @@ -62,7 +62,7 @@ sleep 5 > /tmp/amit/guest-big-file > /tmp/amit/guest-csumfile time ./auto-virtserial -pkill qemu +pkill -9 qemu # -- Iteration 3: new kernel, old qemu -- sleep 5 @@ -81,4 +81,4 @@ sleep 5 > /tmp/amit/guest-big-file > /tmp/amit/guest-csumfile time ./auto-virtserial -pkill qemu +pkill -9 qemu |