From 666578d470debc47009f6dc0281e958c7bf34862 Mon Sep 17 00:00:00 2001 From: Kroese Date: Mon, 17 Apr 2023 12:49:35 +0200 Subject: [PATCH] Use pidwait --- run/run.sh | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/run/run.sh b/run/run.sh index 2b7080d..3946cb5 100755 --- a/run/run.sh +++ b/run/run.sh @@ -52,7 +52,5 @@ set -m ) set +m -# Since we started the QEMU process with -m, we need to poll if it's still running -while s=`ps -p "$(cat ${_QEMU_PID})" -o s=` && [[ "$s" && "$s" != 'Z' ]]; do - sleep 1 -done +pidwait -F "${_QEMU_PID}" & +wait $!