diff --git a/run/serial.sh b/run/serial.sh index d0e62af..d7b0b68 100644 --- a/run/serial.sh +++ b/run/serial.sh @@ -30,12 +30,11 @@ HOST_ARGS+=("-cpu_arch=${HOST_CPU}") [ -n "$HOST_VERSION" ] && HOST_ARGS+=("-version=${HOST_VERSION}") [ -n "$HOST_TIMESTAMP" ] && HOST_ARGS+=("-ts=${HOST_TIMESTAMP}") -if [ "$DEBUG" = "Y" ]; then - echo -n "./run/host.bin " - echo "${HOST_ARGS[*]}" && echo -fi + [ "$DEBUG" = "Y" ] && set -x ./run/host.bin "${HOST_ARGS[@]}" > /dev/null 2>&1 & + +[ "$DEBUG" = "Y" ] && { set +x; } 2>/dev/null # Configure serial ports