From e32dfc9c5b067f39801d2b8fd8911af7e5dd2719 Mon Sep 17 00:00:00 2001
From: Kroese <kroese@users.noreply.github.com>
Date: Fri, 28 Apr 2023 23:25:03 +0200
Subject: [PATCH] PID

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

diff --git a/run/run.sh b/run/run.sh
index 8f5d346..fadedfb 100755
--- a/run/run.sh
+++ b/run/run.sh
@@ -80,8 +80,10 @@ set -m
 )
 set +m
 
+PID="$(cat "${_QEMU_PID}")"
+
 if (( KERNEL > 4 )); then
-  pidwait -F "${_QEMU_PID}" & wait $!
+  pidwait "$PID" & wait $!
 else
-  tail --pid "$(cat "${_QEMU_PID}")" --follow /dev/null & wait $!
+  tail --pid "$PID" --follow /dev/null & wait $!
 fi