diff options
| -rwxr-xr-x | run-tests.sh | 4 | 
1 files changed, 2 insertions, 2 deletions
diff --git a/run-tests.sh b/run-tests.sh index 5683b21640b..0ed1b69d23a 100755 --- a/run-tests.sh +++ b/run-tests.sh @@ -394,7 +394,7 @@ function run_tests()                      cmd_timeout=$(grep "SCRIPT_TIMEOUT=" ${t} | cut -f2 -d'=');                      echo "Timeout set is ${cmd_timeout}, default ${run_timeout}"                  fi -                timeout -k ${kill_after_time} ${cmd_timeout} prove -vmfe '/bin/bash' ${t} +                timeout --foreground -k ${kill_after_time} ${cmd_timeout} prove -vmfe '/bin/bash' ${t}              else                  prove -vmfe '/bin/bash' ${t}              fi @@ -418,7 +418,7 @@ function run_tests()                  echo ""                  if [ ${timeout_cmd_exists} == "yes" ]; then -                    timeout -k ${kill_after_time} ${cmd_timeout} prove -vmfe '/bin/bash' ${t} +                    timeout --foreground -k ${kill_after_time} ${cmd_timeout} prove -vmfe '/bin/bash' ${t}                  else                      prove -vmfe '/bin/bash' ${t}                  fi  | 
