Execute --SKIPIF-- like --FILE--

diff --git a/run-tests.php b/run-tests.php
index 9be82f1f5e67b12ee5111ff358316739952b8f76..46191527b7efdbf0e32bee5e8f03f798c70df7b3 100755 (executable)
--- 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";