diff options
| -rwxr-xr-x | run-tests.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/run-tests.php b/run-tests.php index 01af4aef20..00cc6189d6 100755 --- a/run-tests.php +++ b/run-tests.php @@ -550,7 +550,7 @@ HELP; } if (strlen($conf_passed)) { - if (substr(PHP_OS, 0, 3) != "WIN")) { + if (substr(PHP_OS, 0, 3) != "WIN") { $pass_options .= " -c " . escapeshellarg($conf_passed); } else { $pass_options .= " -c '$conf_passed'"; |