diff options
| author | Richard M. Stallman <rms@gnu.org> | 1993-06-03 20:43:29 +0000 |
|---|---|---|
| committer | Richard M. Stallman <rms@gnu.org> | 1993-06-03 20:43:29 +0000 |
| commit | 9ede489c4dd7111f97de2d6fd162885536bea345 (patch) | |
| tree | de2e7c732d5204d5f12733756318cebeb462683e /configure1.in | |
| parent | 4f88e502dc8e6f5fa92ac72e37bc96b90fb4cdd1 (diff) | |
| download | emacs-9ede489c4dd7111f97de2d6fd162885536bea345.tar.gz | |
Do NOT look for `unknown' as company name.
Fix typo in message.
Diffstat (limited to 'configure1.in')
| -rwxr-xr-x | configure1.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/configure1.in b/configure1.in index f394c9f45ee..e0999e5523e 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 \ |