diff options
author | Richard M. Stallman <[email protected]> | 1993-06-03 20:43:29 +0000 |
---|---|---|
committer | Richard M. Stallman <[email protected]> | 1993-06-03 20:43:29 +0000 |
commit | 55c1a8199320ab2682bd1268f850394c7905913e (patch) | |
tree | 12f38f47ed5003620f045aee890787c5c6828e25 | |
parent | 3c9c43d957163e6d39dc6527a3083468627dde74 (diff) |
Do NOT look for `unknown' as company name.
Fix typo in message.
-rwxr-xr-x | configure1.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/configure1.in b/configure1.in index f394c9f45e..e0999e5523 100755 --- a/configure1.in +++ b/configure1.in @@ -629,7 +629,7 @@ case "${configuration}" in machine=is386 opsys=usg5-2-2 ;; ## Intel 386 machines where we don't care about the manufacturer - i[34]86-unknown-* ) + i[34]86-*-* ) machine=intel386 case "${configuration}" in *-isc1.* | *-isc2.[01]* ) opsys=386-ix ;; @@ -982,7 +982,7 @@ esac case "${window_system}" in "none" | "x11" | "x10" ) ;; "" ) - echo " No window system specifed. Looking for X11." + echo " No window system specified. Looking for X11." window_system=none if [ -r /usr/lib/libX11.a \ -o -d /usr/include/X11 \ |