changeset 3139:198e8fd690de

* config.guess: New file. * configure.in: Use it, tentatively.
author Jim Blandy <jimb@redhat.com>
date Wed, 26 May 1993 21:34:10 +0000
parents 80ce80f189f7
children 852864d39b0a
files configure1.in
diffstat 1 files changed, 10 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- a/configure1.in	Wed May 26 21:31:36 1993 +0000
+++ b/configure1.in	Wed May 26 21:34:10 1993 +0000
@@ -273,12 +273,18 @@
 done
 
 if [ "${configuration}" = "" ]; then
-  (echo "${progname}: You must specify a configuration name as an argument."
-   echo "${short_usage}") >&2
-  exit 1
+  echo '- You did not tell me what kind of host system you want to configure.
+- I will attempt to guess the kind of system this is.' 1>&2
+  guesssys=`echo ${progname} | sed 's/configure$/config.guess/'`
+  if configuration=`${guesssys}` ; then
+    echo "- Looks like this is a ${configuration}" 1>&2
+  else
+    echo '- Failed to guess the system type.  You need to tell me.' 1>&2
+    echo "${short_usage}") >&2
+    exit 1
+  fi
 fi
 
-
 #### Decide where the source is.
 case "${srcdir}" in