diff options
| author | Torbjorn Granlund <tg@gmplib.org> | 2018-01-10 00:20:14 +0100 |
|---|---|---|
| committer | Torbjorn Granlund <tg@gmplib.org> | 2018-01-10 00:20:14 +0100 |
| commit | b4530a49d42f695abdf2457c2667df303a2a317f (patch) | |
| tree | 16adcd1681631d4cbb19f9a71e06130a5c5d856c /config.guess | |
| parent | 0da5d4187739bb98247c5b2bdbf43ece25a40cc0 (diff) | |
| download | gmp-b4530a49d42f695abdf2457c2667df303a2a317f.tar.gz | |
Fix old pentium recog.
Diffstat (limited to 'config.guess')
| -rwxr-xr-x | config.guess | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/config.guess b/config.guess index f04c2daf1..d950ccadb 100755 --- a/config.guess +++ b/config.guess @@ -3,7 +3,7 @@ # GMP config.guess wrapper. -# Copyright 2000-2006, 2008, 2011-2016 Free Software Foundation, Inc. +# Copyright 2000-2006, 2008, 2011-2016, 2018 Free Software Foundation, Inc. # # This file is part of the GNU MP Library. # @@ -846,8 +846,8 @@ main () switch (family) { case 5: - if (model <= 2) modelstr = "pentium"; - else if (model >= 4) modelstr = "pentiummmx"; + if (model == 4 || model == 8) modelstr = "pentiummmx"; + else modelstr = "pentium"; break; case 6: if (model <= 1) modelstr = "pentiumpro"; |