- Added %e modifier which gets replaced by the current value of

  DIRECTORY_SEPARATOR.

diff --git a/run-tests.php b/run-tests.php
index 0b4f6afa133121136f691cdabefded3cf51888a0..7efd0b4157627535df717801ee2e8cda6bfbfef1 100755 (executable)
--- 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);