From a7559ce90339121fb05654d1e23884669075f0b9 Mon Sep 17 00:00:00 2001
From: Kroese <kroese@users.noreply.github.com>
Date: Mon, 1 May 2023 23:09:09 +0200
Subject: [PATCH] Print debug info

---
 run/serial.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/run/serial.sh b/run/serial.sh
index 48fb0d1..fea140b 100644
--- a/run/serial.sh
+++ b/run/serial.sh
@@ -35,6 +35,7 @@ HOST_ARGS+=("-cpu_arch=${HOST_CPU}")
 ./run/host.bin "${HOST_ARGS[@]}" > /dev/null 2>&1 &
 
 { set +x; } 2>/dev/null
+[ "$DEBUG" = "Y" ] && echo
 
 # Configure serial ports