diff options
-rwxr-xr-x | qemu-wrapper.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/qemu-wrapper.sh b/qemu-wrapper.sh index ac75461..ea162c7 100755 --- a/qemu-wrapper.sh +++ b/qemu-wrapper.sh @@ -10,7 +10,7 @@ else ASAN_OPTIONS=${ASAN_OPTIONS}:detect_leaks=0 fi -TIMEOUT="timeout -s KILL 300" +TIMEOUT="ptimeout -s KILL 300" #The messages from /usr/bin/time cause some tests to fail when scanning the output, so don't use it #TIME="/usr/bin/time --verbose" TIME= |