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

Use tail instead of sleep

parent 635bd634

run/run.sh

+2 −4
Original line number Diff line number Diff line
@@ -57,7 +57,5 @@ set -m 
)

set +m



while [ -d "/proc/$(cat ${_QEMU_PID})"  ]; do

  sleep infinity &

  wait $!

done
 
# Wait for QEMU process to exit

tail --pid="$(cat ${_QEMU_PID})" -f /dev/null