Print debug info

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