# HG changeset patch # User Richard M. Stallman # Date 865832162 0 # Node ID 9747b115c12ca1cc70a1fb37273a97f1c721045c # Parent e145ccc61a22a116abe9c05116120093fa64808f Use i?86, not i.86. diff -r e145ccc61a22 -r 9747b115c12c config.guess --- a/config.guess Mon Jun 09 04:00:50 1997 +0000 +++ b/config.guess Mon Jun 09 04:56:02 1997 +0000 @@ -472,7 +472,7 @@ test ! -d /usr/lib/ldscripts/. \ && echo "${UNAME_MACHINE}-pc-linux-gnuoldld" && exit 0 case "${UNAME_MACHINE}" in - i.86) + i?86) VENDOR=pc; ;; *)