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