Unverified Commit e8658bf3 authored by Kroese's avatar Kroese Committed by GitHub
Browse files

PID 

PID
parents f8ff2df2 29e56157

run/run.sh

+2 −4
Original line number Diff line number Diff line
@@ -80,10 +80,8 @@ set -m 
)

set +m



PID="$(cat "${_QEMU_PID}")"



if (( KERNEL > 4 )); then

  pidwait "$PID" & wait $!

  pidwait -F "${_QEMU_PID}" & wait $!

else

  tail --pid "$PID" --follow /dev/null & wait $!

  tail --pid "$(cat "${_QEMU_PID}")" --follow /dev/null & wait $!

fi