From 38d71eed7f660c35ca51e2db3cd4ff883e8a3634 Mon Sep 17 00:00:00 2001
From: Kroese <kroese@users.noreply.github.com>
Date: Sun, 16 Apr 2023 15:26:43 +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 6d1d357..f6e43a2 100755
--- a/run/run.sh
+++ b/run/run.sh
@@ -43,7 +43,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