From ffe08bc043ff2685ab1fb34cfe41116c2ea3ba59 Mon Sep 17 00:00:00 2001 From: Kroese Date: Mon, 1 May 2023 22:54:51 +0200 Subject: [PATCH] Print debug info --- run/serial.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/run/serial.sh b/run/serial.sh index 69e1af4..48fb0d1 100644 --- a/run/serial.sh +++ b/run/serial.sh @@ -34,7 +34,7 @@ HOST_ARGS+=("-cpu_arch=${HOST_CPU}") ./run/host.bin "${HOST_ARGS[@]}" > /dev/null 2>&1 & -[ "$DEBUG" = "Y" ] && { set +x; } 2>/dev/null +{ set +x; } 2>/dev/null # Configure serial ports