From 3101d976f80a9d42458422d917bbf0eaa88b41f2 Mon Sep 17 00:00:00 2001
From: Kroese <kroese@users.noreply.github.com>
Date: Mon, 1 May 2023 22:28:31 +0200
Subject: [PATCH] Update serial.sh

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

diff --git a/run/serial.sh b/run/serial.sh
index d0e62af..d7b0b68 100644
--- a/run/serial.sh
+++ b/run/serial.sh
@@ -30,12 +30,11 @@ HOST_ARGS+=("-cpu_arch=${HOST_CPU}")
 [ -n "$HOST_VERSION" ] && HOST_ARGS+=("-version=${HOST_VERSION}")
 [ -n "$HOST_TIMESTAMP" ] && HOST_ARGS+=("-ts=${HOST_TIMESTAMP}")
 
-if [ "$DEBUG" = "Y" ]; then
-  echo -n "./run/host.bin "
-  echo "${HOST_ARGS[*]}" && echo
-fi
+ [ "$DEBUG" = "Y" ] && set -x
 
 ./run/host.bin "${HOST_ARGS[@]}" > /dev/null 2>&1 &
+ 
+[ "$DEBUG" = "Y" ] && { set +x; } 2>/dev/null
 
 # Configure serial ports