Fixed %f regex

diff --git a/run-tests.php b/run-tests.php
index f06f3b745b0c23e237702e55b0c1fd2610b1a1ba..b64502a801a15ab4530e6d50d65d8822edd779f4 100755 (executable)
--- a/run-tests.php
+++ b/run-tests.php
@@ -1537,7 +1537,7 @@ COMMAND $cmd
                        $wanted_re = str_replace('%i', '[+-]?\d+', $wanted_re);
                        $wanted_re = str_replace('%d', '\d+', $wanted_re);
                        $wanted_re = str_replace('%x', '[0-9a-fA-F]+', $wanted_re);
-                       $wanted_re = str_replace('%f', '[+-]?\.?\d+\.?\d*(?:E|e[+-]?\d+)?', $wanted_re);
+                       $wanted_re = str_replace('%f', '[+-]?\.?\d+\.?\d*(?:[Ee][+-]?\d+)?', $wanted_re);
                        $wanted_re = str_replace('%c', '.', $wanted_re);
                        // %f allows two points "-.0.0" but that is the best *simple* expression
                }