Commit eae43dda authored by Kroese's avatar Kroese Committed by GitHub
Browse files

Use tail instead of sleep

parent 58b00587

run/run.sh

+1 −1
Original line number Diff line number Diff line
@@ -44,4 +44,4 @@ set -m 
set +m



# Wait for QEMU process to exit

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