diff --git a/run-tests.php b/run-tests.php index 9be82f1f5e6..46191527b7e 100755 --- a/run-tests.php +++ b/run-tests.php @@ -688,7 +688,7 @@ TEST $file if (array_key_exists('SKIPIF', $section_text)) { if (trim($section_text['SKIPIF'])) { save_text($tmp_skipif, $section_text['SKIPIF']); - $output = `$php $info_params $tmp_skipif`; + $output = system_with_timeout("$php $info_params $tmp_skipif"); @unlink($tmp_skipif); if (eregi("^skip", trim($output))) { echo "SKIP $tested";