diff --git a/src/Misc/layoutroot/run.sh b/src/Misc/layoutroot/run.sh index 6b02ea18f..57f18ee00 100755 --- a/src/Misc/layoutroot/run.sh +++ b/src/Misc/layoutroot/run.sh @@ -38,7 +38,7 @@ runWithManualTrap() { cp -f "$DIR"/run-helper.sh.template "$DIR"/run-helper.sh "$DIR"/run-helper.sh $* & PID=$! - wait -f $PID + wait $PID returnCode=$? if [[ $returnCode -eq 2 ]]; then echo "Restarting runner..." @@ -84,4 +84,4 @@ if [[ -z "$RUNNER_MANUALLY_TRAP_SIG" ]]; then run $* else runWithManualTrap $* -fi \ No newline at end of file +fi