Commit 390ad651 authored by Kroese's avatar Kroese Committed by GitHub
Browse files

Ignore case

parent 1b46f6ec

run/serial.sh

+1 −1
Original line number Diff line number Diff line
@@ -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