Commit 9b696e38 authored by Kroese's avatar Kroese Committed by GitHub
Browse files

fix: Use pidwait on recent kernels

parent 7ad09e15

run/run.sh

+1 −1
Original line number Diff line number Diff line
@@ -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 $!