diff options
| -rwxr-xr-x | run-tests.php | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/run-tests.php b/run-tests.php index 9926735de6..7ca17d23b4 100755 --- a/run-tests.php +++ b/run-tests.php @@ -1551,7 +1551,9 @@ COMMAND $cmd // Stick to basics $wanted_re = str_replace('%e', '\\' . DIRECTORY_SEPARATOR, $wanted_re); $wanted_re = str_replace('%s', '[^\r\n]+', $wanted_re); + $wanted_re = str_replace('%S', '[^\r\n]*', $wanted_re); $wanted_re = str_replace('%a', '.+', $wanted_re); + $wanted_re = str_replace('%A', '.*', $wanted_re); $wanted_re = str_replace('%w', '\s*', $wanted_re); $wanted_re = str_replace('%i', '[+-]?\d+', $wanted_re); $wanted_re = str_replace('%d', '\d+', $wanted_re); |