Commit 58b00587 authored by Kroese's avatar Kroese Committed by GitHub
Browse files

Use tail instead of sleep

parent 38d71eed

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