From aac111619789b8100e2dfcd3a1773a007947e582 Mon Sep 17 00:00:00 2001
From: Kroese <kroese@users.noreply.github.com>
Date: Sat, 6 May 2023 13:59:14 +0200
Subject: [PATCH] Ignore case

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

diff --git a/run/serial.sh b/run/serial.sh
index 708b7ad..148178a 100644
--- a/run/serial.sh
+++ b/run/serial.sh
@@ -31,7 +31,7 @@ HOST_ARGS+=("-cpu_arch=${HOST_CPU}")
 [ -n "$HOST_VERSION" ] && HOST_ARGS+=("-version=${HOST_VERSION}")
 [ -n "$HOST_TIMESTAMP" ] && HOST_ARGS+=("-ts=${HOST_TIMESTAMP}")
 
-if [[ "${HOST_DEBUG}" == [Yy]* ]]; then
+if [[ "${HOST_DEBUG}" == [Yy1]* ]]; then
   set -x
   ./run/host.bin "${HOST_ARGS[@]}" &
   { set +x; } 2>/dev/null