From 8a440e987b37aeab696b749e721758dbfc96c6fd Mon Sep 17 00:00:00 2001
From: Kroese <kroese@users.noreply.github.com>
Date: Tue, 2 May 2023 00:11:51 +0200
Subject: [PATCH] Print more debug info

---
 run/run.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/run/run.sh b/run/run.sh
index ca81c18..4d1d080 100755
--- a/run/run.sh
+++ b/run/run.sh
@@ -59,7 +59,7 @@ EXTRA_OPTS="-device virtio-balloon-pci,id=balloon0 -object rng-random,id=rng0,fi
 ARGS="${DEF_OPTS} ${CPU_OPTS} ${RAM_OPTS} ${MAC_OPTS} ${MON_OPTS} ${SERIAL_OPTS} ${NET_OPTS} ${DISK_OPTS} ${EXTRA_OPTS}"
 ARGS=$(echo "$ARGS" | sed 's/\t/ /g' | tr -s ' ')
 
-[ "$DEBUG" = "Y" ] && echo "qemu-system-x86_64 ${ARGS}" && echo
+[ "$DEBUG" = "Y" ] && set -x
 
 set -m
 (
@@ -67,6 +67,8 @@ set -m
 )
 set +m
 
+{ set +x; } 2>/dev/null
+
 if (( KERNEL > 4 )); then
   pidwait -F "${_QEMU_PID}" & wait $!
 else