Unverified Commit 01f673de authored by Kroese's avatar Kroese Committed by GitHub
Browse files

Ignore case

parent 53c72fc3

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