diff options
-rwxr-xr-x | config.guess | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/config.guess b/config.guess index 865f663..b7c8f5d 100755 --- a/config.guess +++ b/config.guess @@ -684,6 +684,10 @@ EOF (/bin/uname -X|egrep i80486 >/dev/null) && UNAME_MACHINE=i486 (/bin/uname -X|egrep '^Machine.*Pentium' >/dev/null) \ && UNAME_MACHINE=i586 + (/bin/uname -X|egrep '^Machine.*PentII' >/dev/null) \ + && UNAME_MACHINE=i686 + (/bin/uname -X|egrep '^Machine.*Pentium Pro' >/dev/null) \ + && UNAME_MACHINE=i686 echo ${UNAME_MACHINE}-${UNAME_SYSTEM}${UNAME_VERSION}-sysv${UNAME_RELEASE} exit 0 ;; i?86:*:3.2:*) @@ -697,6 +701,8 @@ EOF && UNAME_MACHINE=i586 (/bin/uname -X|egrep '^Machine.*PentII' >/dev/null) \ && UNAME_MACHINE=i686 + (/bin/uname -X|egrep '^Machine.*Pentium Pro' >/dev/null) \ + && UNAME_MACHINE=i686 echo ${UNAME_MACHINE}-pc-sco$UNAME_REL else echo ${UNAME_MACHINE}-pc-sysv32 |