From 390ad651c5c697dc1b42a2886b699786e4bb9fe5 Mon Sep 17 00:00:00 2001 From: Kroese Date: Sat, 6 May 2023 13:50:34 +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 8766875..708b7ad 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" = "Y" ]; then +if [[ "${HOST_DEBUG}" == [Yy]* ]]; then set -x ./run/host.bin "${HOST_ARGS[@]}" & { set +x; } 2>/dev/null