Fixed %f regex

diff --git a/run-tests.php b/run-tests.php
index b9906800c2b14e02d217fdc22d29006319a537ca..84aa7d1412647e7174a2ab40da582d05dc513eb7 100755 (executable)
--- a/run-tests.php
+++ b/run-tests.php
@@ -1600,7 +1600,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
                }