changeset 3460:9943fb1c45ca

Do NOT look for `unknown' as company name. Fix typo in message.
author Richard M. Stallman <rms@gnu.org>
date Thu, 03 Jun 1993 20:43:29 +0000
parents 763bc1ba714e
children 1dec1449324d
files configure1.in
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/configure1.in	Thu Jun 03 20:29:41 1993 +0000
+++ b/configure1.in	Thu Jun 03 20:43:29 1993 +0000
@@ -629,7 +629,7 @@
     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 @@
 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 \