diff options
| -rwxr-xr-x | run-tests.php | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/run-tests.php b/run-tests.php index 7efd0b4157..1370614ac3 100755 --- a/run-tests.php +++ b/run-tests.php @@ -844,7 +844,6 @@ COMMAND $cmd $wanted_re = preg_quote($wanted_re, '/'); // Stick to basics $wanted_re = str_replace("%e", '\\' . DIRECTORY_SEPARATOR, $wanted_re); - echo $wanted_re; $wanted_re = str_replace("%s", ".+?", $wanted_re); //not greedy $wanted_re = str_replace("%i", "[+\-]?[0-9]+", $wanted_re); $wanted_re = str_replace("%d", "[0-9]+", $wanted_re); |