diff options
author | Derick Rethans <derick@php.net> | 2003-12-16 14:53:43 +0000 |
---|---|---|
committer | Derick Rethans <derick@php.net> | 2003-12-16 14:53:43 +0000 |
commit | 76ec811b3573fea59171610a4b7b19a634628bcb (patch) | |
tree | f75280bf184af2323e5a05d383d2a12f7c02bb1c /run-tests.php | |
parent | 9c909f41fda5003eba798f1bd501b84d6066d4da (diff) | |
download | php-git-76ec811b3573fea59171610a4b7b19a634628bcb.tar.gz |
- Added %e modifier which gets replaced by the current value of
DIRECTORY_SEPARATOR.
Diffstat (limited to 'run-tests.php')
-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 0b4f6afa13..7efd0b4157 100755 --- a/run-tests.php +++ b/run-tests.php @@ -843,6 +843,8 @@ COMMAND $cmd if (isset($section_text['EXPECTF'])) { $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); |