diff options
| -rwxr-xr-x | configure.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.pl b/configure.pl index f04e2ffe8..a26554bd2 100755 --- a/configure.pl +++ b/configure.pl @@ -426,7 +426,7 @@ sub choose_target { $gcc_version = '' if not defined $gcc_version; my $has_ll_bug = 0; - $has_ll_bug = 1 if($gcc_version =~ /4\.[0123]/); + $has_ll_bug = 1 if($gcc_version =~ /4\.[01234]/); $has_ll_bug = 1 if($gcc_version =~ /3\.[34]/); $has_ll_bug = 1 if($gcc_version =~ /2\.95\.[0-4]/); $has_ll_bug = 1 if($gcc_version eq ''); |