From 9b696e38ce9e01cc132c84d779f8a79f71a54e7b Mon Sep 17 00:00:00 2001 From: Kroese Date: Wed, 5 Jul 2023 13:00:40 +0200 Subject: [PATCH] fix: Use pidwait on recent kernels --- run/run.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/run/run.sh b/run/run.sh index 9f293ec..6303747 100755 --- a/run/run.sh +++ b/run/run.sh @@ -81,7 +81,7 @@ set -m ) set +m -if (( KERNEL > 5 )) || ( (( KERNEL == 5 )) && (( MINOR > 2 )) ); then +if (( KERNEL > 5 )) || ( (( KERNEL == 5 )) && (( MINOR > 10 )) ); then pidwait -F "${_QEMU_PID}" & wait $! else tail --pid "$(cat "${_QEMU_PID}")" --follow /dev/null & wait $!