diff options
| -rwxr-xr-x | configure.pl | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/configure.pl b/configure.pl index bdb52fc4a..3d4ce733d 100755 --- a/configure.pl +++ b/configure.pl @@ -2322,8 +2322,9 @@ sub guess_cpu if($cpu ne '') { - autoconfig("Guessing (based on Config{'archname'} $config_archname) " . - "that CPU is a $cpu"); + autoconfig("Guessing CPU using Config{archname} '$config_archname'"); + autoconfig("Guessing CPU is a $cpu (use --cpu to set)"); + return $cpu if known_arch($cpu); } |