diff options
| author | Derick Rethans <derick@php.net> | 2003-03-28 21:04:45 +0000 |
|---|---|---|
| committer | Derick Rethans <derick@php.net> | 2003-03-28 21:04:45 +0000 |
| commit | 56a172cc04ef6da71b54c22103a3c7ecadf64c00 (patch) | |
| tree | 989616ec71feef2a32ecb8099b562ff3674f1077 /run-tests.php | |
| parent | 18ff958ad38c521766f4ade2e1aac7cc97c9bc0a (diff) | |
| download | php-git-56a172cc04ef6da71b54c22103a3c7ecadf64c00.tar.gz | |
- Add the exponent to the float modifier
Diffstat (limited to 'run-tests.php')
| -rwxr-xr-x | run-tests.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/run-tests.php b/run-tests.php index d5d850a1c1..ba49ca83b1 100755 --- a/run-tests.php +++ b/run-tests.php @@ -719,7 +719,7 @@ COMMAND $cmd $wanted_re = str_replace("%i", "[+\-]?[0-9]+", $wanted_re); $wanted_re = str_replace("%d", "[0-9]+", $wanted_re); $wanted_re = str_replace("%x", "[0-9a-fA-F]+", $wanted_re); - $wanted_re = str_replace("%f", "[+\-]?\.?[0-9]+\.?[0-9]*", $wanted_re); + $wanted_re = str_replace("%f", "[+\-]?\.?[0-9]+\.?[0-9]*(E-?[0-9]+)?", $wanted_re); $wanted_re = str_replace("%c", ".", $wanted_re); // %f allows two points "-.0.0" but that is the best *simple* expression } |