Commit 38d71eed authored by Kroese's avatar Kroese Committed by GitHub
Browse files

Use tail instead of sleep

parent c3096cbb

run/run.sh

+2 −4
Original line number Diff line number Diff line
@@ -43,7 +43,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