Unverified Commit 7f71c0f8 authored by Kroese's avatar Kroese Committed by GitHub
Browse files

Revert

parent 4a4ff44f
Loading
Loading
Loading
Loading
+4 −2
Original line number Diff line number Diff line
@@ -52,5 +52,7 @@ set -m
)
set +m

# Wait for QEMU process to exit
tail --pid="$(cat ${_QEMU_PID})" -f /dev/null
# 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
done