Commit 79d9666e authored by Kroese's avatar Kroese Committed by GitHub
Browse files

fix: Fallback to tail if pidwait is not available 

fix: Fallback to tail if pidwait is not available
parents e4d3c3e2 667ca06a

run/run.sh

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