Commit 23c66680 authored by Kroese's avatar Kroese Committed by GitHub
Browse files

Alternative sleep function

parent cd2133e9

run/run.sh

+1 −1
Original line number Diff line number Diff line
@@ -42,5 +42,5 @@ set +m 


# Since we have to start the process with -m, we need to poll every intervall if it's still running

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

  sleep 1

  snore 1

done