diff options
Diffstat (limited to 'config.guess')
| -rwxr-xr-x | config.guess | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/config.guess b/config.guess index 2ff0eba28a..1948c5398b 100755 --- a/config.guess +++ b/config.guess @@ -368,6 +368,8 @@ EOF elif /bin/uname -X 2>/dev/null >/dev/null ; then UNAME_REL=`(/bin/uname -X|egrep Release|sed -e 's/.*= //')` (/bin/uname -X|egrep i80486 >/dev/null) && UNAME_MACHINE=i486 + (/bin/uname -X|egrep '^Machine.*Pentium' >/dev/null) \ + && UNAME_MACHINE=i586 echo ${UNAME_MACHINE}-unknown-sco$UNAME_REL else echo ${UNAME_MACHINE}-unknown-sysv32 |