From 18fffabd938610a9fea7bf2954830cedb8e001b0 Mon Sep 17 00:00:00 2001 From: Kroese Date: Tue, 18 Jul 2023 21:00:42 +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 e378ea2..3d25082 100755 --- a/run/run.sh +++ b/run/run.sh @@ -81,8 +81,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 $!