summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorChristophe Lyon <christophe.lyon@foss.st.com>2021-07-06 13:56:43 +0000
committerChristophe Lyon <christophe.lyon@foss.st.com>2021-07-06 13:56:43 +0000
commit3b4c9fc9f19e88a1ae802d9cb201354279834d25 (patch)
tree2f4beeee70d8ac50476a6dd2775dc8b30ac0c0c8
parent348b2b50b660525617feee7ecf66c557f34bd710 (diff)
qemu-wrapper.sh: Use ptimeoutHEADmaster
-rwxr-xr-xqemu-wrapper.sh2
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=