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

PID

parent 1ba4d488

run/run.sh

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

set +m



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



if (( KERNEL > 4 )); then

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

  pidwait "$PID" & wait $!

else

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

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

fi