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