From 240a8e5e1d7fbbb5e5b0af17a238574f0cf4f207 Mon Sep 17 00:00:00 2001
From: Kroese <kroese@users.noreply.github.com>
Date: Sun, 16 Apr 2023 15:33:12 +0200
Subject: [PATCH] Use tail instead of sleep

---
 run/run.sh | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/run/run.sh b/run/run.sh
index aa497d3..f64bcb0 100755
--- a/run/run.sh
+++ b/run/run.sh
@@ -57,7 +57,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