From 23e5004132856a9fab45947dada8776f99beb51d Mon Sep 17 00:00:00 2001
From: Marcus Boerger <helly@php.net>
Date: Thu, 29 May 2003 19:11:51 +0000
Subject: [PATCH] Execute --SKIPIF-- like --FILE--

---
 run-tests.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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";