diff options
author | Andre Langhorst <waldschrott@php.net> | 2000-12-06 18:29:03 +0000 |
---|---|---|
committer | Andre Langhorst <waldschrott@php.net> | 2000-12-06 18:29:03 +0000 |
commit | 5604ae2de421a0731145b5f802bd8372c4b086a5 (patch) | |
tree | 2b2219f4c8aa654524e0912c511c4362081f5f79 /run-tests.php | |
parent | 45c218968cbe46d5bf89dd73a5c7b90246eb5237 (diff) | |
download | php-git-5604ae2de421a0731145b5f802bd8372c4b086a5.tar.gz |
made run-tests.php windows compatible
Diffstat (limited to 'run-tests.php')
-rwxr-xr-x | run-tests.php | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/run-tests.php b/run-tests.php index 00d252ff60..9760b38994 100755 --- a/run-tests.php +++ b/run-tests.php @@ -78,7 +78,9 @@ function initialize() { $windows_p = (substr(php_uname(), 0, 7) == "Windows"); if ($windows_p) { - $php = "./php.exe"; + if (file_exists('Release_TS_inline/php.exe')) $php ="Release_TS_inline\\php.exe"; + elseif (file_exists('Release_TS/php.exe')) $php ="Release_TS\\php.exe"; + else $php = "./php.exe"; } else { $php = "./php"; } |