diff --git a/run/run.sh b/run/run.sh index 8f5d346..fadedfb 100755 --- a/run/run.sh +++ b/run/run.sh @@ -80,8 +80,10 @@ set -m ) set +m +PID="$(cat "${_QEMU_PID}")" + if (( KERNEL > 4 )); then - pidwait -F "${_QEMU_PID}" & wait $! + pidwait "$PID" & wait $! else - tail --pid "$(cat "${_QEMU_PID}")" --follow /dev/null & wait $! + tail --pid "$PID" --follow /dev/null & wait $! fi