From ae0ce1410c8f434966c1120170abf365f7adbfee Mon Sep 17 00:00:00 2001 From: Kroese Date: Tue, 18 Jul 2023 20:16:47 +0200 Subject: [PATCH] fix: Disable pidwait --- run/run.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/run/run.sh b/run/run.sh index 39862888..40276cc6 100755 --- a/run/run.sh +++ b/run/run.sh @@ -94,8 +94,8 @@ set -m ) set +m -if (( KERNEL > 5 )) || ( (( KERNEL == 5 )) && (( MINOR > 2 )) ); then - pidwait -F "${_QEMU_PID}" & wait $! -fi +#if (( KERNEL > 5 )) || ( (( KERNEL == 5 )) && (( MINOR > 2 )) ); then +# pidwait -F "${_QEMU_PID}" & wait $! +#else tail --pid "$(cat "${_QEMU_PID}")" --follow /dev/null & wait $!