From 667ca06a95e7c798791df0e5d99e8dcd3424e592 Mon Sep 17 00:00:00 2001 From: Kroese Date: Tue, 18 Jul 2023 19:39:42 +0200 Subject: [PATCH] PID fix --- run/run.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/run/run.sh b/run/run.sh index 6303747..e378ea2 100755 --- a/run/run.sh +++ b/run/run.sh @@ -81,8 +81,8 @@ set -m ) set +m -if (( KERNEL > 5 )) || ( (( KERNEL == 5 )) && (( MINOR > 10 )) ); then +if (( KERNEL > 5 )) || ( (( KERNEL == 5 )) && (( MINOR > 2 )) ); then pidwait -F "${_QEMU_PID}" & wait $! -else - tail --pid "$(cat "${_QEMU_PID}")" --follow /dev/null & wait $! fi + +tail --pid "$(cat "${_QEMU_PID}")" --follow /dev/null & wait $!