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