Add HOST_DEBUG

This commit is contained in:
Kroese 2023-05-02 01:31:29 +02:00 committed by GitHub
parent 2203811312
commit 33da49c762

View File

@ -5,6 +5,7 @@ set -eu
: ${HOST_CPU:=''} : ${HOST_CPU:=''}
: ${HOST_BUILD:=''} : ${HOST_BUILD:=''}
: ${HOST_DEBUG:=''}
: ${HOST_SERIAL:=''} : ${HOST_SERIAL:=''}
: ${GUEST_SERIAL:=''} : ${GUEST_SERIAL:=''}
: ${HOST_VERSION:=''} : ${HOST_VERSION:=''}
@ -30,7 +31,7 @@ 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 if [ "$HOST_DEBUG" = "Y" ]; then
set -x set -x
./run/host.bin "${HOST_ARGS[@]}" & ./run/host.bin "${HOST_ARGS[@]}" &
{ set +x; } 2>/dev/null { set +x; } 2>/dev/null