From 13a8169947c363f82585da21c99729ab7e638e15 Mon Sep 17 00:00:00 2001 From: Kroese Date: Mon, 1 May 2023 22:30:51 +0200 Subject: [PATCH] Print debug info --- run/run.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/run/run.sh b/run/run.sh index 8f5d346..41c0c63 100755 --- a/run/run.sh +++ b/run/run.sh @@ -72,11 +72,11 @@ EXTRA_OPTS="$EXTRA_OPTS -device virtio-rng-pci,rng=objrng0,id=rng0,bus=pcie.0,ad ARGS="${DEF_OPTS} ${CPU_OPTS} ${RAM_OPTS} ${MAC_OPTS} ${MON_OPTS} ${SERIAL_OPTS} ${NET_OPTS} ${DISK_OPTS} ${EXTRA_OPTS}" ARGS=$(echo "$ARGS" | sed 's/\t/ /g' | tr -s ' ') -[ "$DEBUG" = "Y" ] && echo "qemu-system-x86_64 ${ARGS}" && echo - set -m ( + [ "$DEBUG" = "Y" ] && set -x qemu-system-x86_64 ${ARGS:+ $ARGS} & echo $! > "${_QEMU_PID}" + [ "$DEBUG" = "Y" ] && { set +x; } 2>/dev/null ) set +m