diff options
Diffstat (limited to 'run-tests.php')
| -rwxr-xr-x | run-tests.php | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/run-tests.php b/run-tests.php index b1493f5729..0b4f6afa13 100755 --- a/run-tests.php +++ b/run-tests.php @@ -117,6 +117,7 @@ if (getenv('TEST_PHP_EXECUTABLE')) { putenv("TEST_PHP_EXECUTABLE=$php"); } } + if (empty($php) || !file_exists($php)) { error("environment variable TEST_PHP_EXECUTABLE must be set to specify PHP executable!"); } @@ -588,7 +589,7 @@ function system_with_timeout($commandline) 0 => array('pipe', 'r'), 1 => array('pipe', 'w'), 2 => array('pipe', 'w') - ), $pipes); + ), $pipes, null, null, array("suppress_errors" => true)); if (!$proc) return false; |