made run-tests.php windows compatible

diff --git a/run-tests.php b/run-tests.php
index 00d252ff608ba724ddc3c6ade6f503216878c463..9760b389947c39bc4cc0a570c2b49de463a8421f 100755 (executable)
--- 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";
     }