Update serial.sh

This commit is contained in:
Kroese 2023-05-01 22:28:31 +02:00 committed by GitHub
parent fa98edad6a
commit 3101d976f8

View File

@ -30,13 +30,12 @@ HOST_ARGS+=("-cpu_arch=${HOST_CPU}")
[ -n "$HOST_VERSION" ] && HOST_ARGS+=("-version=${HOST_VERSION}") [ -n "$HOST_VERSION" ] && HOST_ARGS+=("-version=${HOST_VERSION}")
[ -n "$HOST_TIMESTAMP" ] && HOST_ARGS+=("-ts=${HOST_TIMESTAMP}") [ -n "$HOST_TIMESTAMP" ] && HOST_ARGS+=("-ts=${HOST_TIMESTAMP}")
if [ "$DEBUG" = "Y" ]; then [ "$DEBUG" = "Y" ] && set -x
echo -n "./run/host.bin "
echo "${HOST_ARGS[*]}" && echo
fi
./run/host.bin "${HOST_ARGS[@]}" > /dev/null 2>&1 & ./run/host.bin "${HOST_ARGS[@]}" > /dev/null 2>&1 &
[ "$DEBUG" = "Y" ] && { set +x; } 2>/dev/null
# Configure serial ports # Configure serial ports
SERIAL_OPTS="\ SERIAL_OPTS="\