diff options
| author | tege <tege@gmplib.org> | 2001-07-23 14:25:11 +0200 |
|---|---|---|
| committer | tege <tege@gmplib.org> | 2001-07-23 14:25:11 +0200 |
| commit | 62f7a114708ba7fbeefce1769c2e5075ec73e507 (patch) | |
| tree | 8e663da41d0d8f4a43ba40d8c7504d0da3127d3c /config.guess | |
| parent | 5343fa93364cccaef054d61196c3c2f321d4293b (diff) | |
| download | gmp-62f7a114708ba7fbeefce1769c2e5075ec73e507.tar.gz | |
Recognize pentium4.
Diffstat (limited to 'config.guess')
| -rwxr-xr-x | config.guess | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/config.guess b/config.guess index d45a68ebd..e046631c2 100755 --- a/config.guess +++ b/config.guess @@ -332,6 +332,9 @@ main () else if (model <= 6) modelstr = "pentium2"; else modelstr = "pentium3"; break; + case 15: + modelstr = "pentium4"; + break; } } else if (strcmp (vendor_string, "AuthenticAMD") == 0) |