1 files changed, 1 insertions, 1 deletions
diff --git a/run-tests.php b/run-tests.php
index 9be82f1f5e..46191527b7 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";