# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 739140209 0
# Node ID 9943fb1c45ca96acdb21121cf6676afe3d351780
# Parent  763bc1ba714ef898915f7c05d8e0d8d526389e35
Do NOT look for `unknown' as company name.

Fix typo in message.

diff -r 763bc1ba714e -r 9943fb1c45ca configure1.in
--- 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 \