aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--ChangeLog5
-rwxr-xr-xconfigure9
2 files changed, 11 insertions, 3 deletions
diff --git a/ChangeLog b/ChangeLog
index 0e8d13c..f785d79 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+Fri Aug 26 13:42:20 1994 Ken Raeburn (raeburn@kr-laptop.cygnus.com)
+
+ * configure: Accept and ignore --cache*, for compatibility with
+ new autoconf.
+
Fri Aug 26 13:05:27 1994 Per Bothner (bothner@kalessin.cygnus.com)
* (config.guess): Merge from FSF:
diff --git a/configure b/configure
index 833a178..a42b59d 100755
--- a/configure
+++ b/configure
@@ -141,7 +141,7 @@ do
;;
# These options have mandatory values. Since we didn't find an = sign,
# the value must be in the next argument
- --b* | --ex* | --ho* | --pre* | --program-p* | --program-s* | --program-t* | --si* | --sr* | --ta* | --tm* | --x-*)
+ --b* | --cache* | --ex* | --ho* | --pre* | --program-p* | --program-s* | --program-t* | --si* | --sr* | --ta* | --tm* | --x-*)
optarg=$1
shift
;;
@@ -158,6 +158,9 @@ do
;;
esac
;;
+# Accepted for compatibility with new autoconf; ignored.
+ --cache*)
+ ;;
--disable-*)
enableopt=`echo ${option} | sed 's:^--disable-:enable_:;s:-:_:g'`
eval $enableopt=no
@@ -390,13 +393,13 @@ if [ -n "${fatal}" -o "${host_alias}" = "help" ] ; then
echo ' --srcdir=DIR find the sources in DIR [. or ..]'
echo ' --target=TARGET configure for TARGET [TARGET=HOST]'
echo ' --tmpdir=TMPDIR create temporary files in TMPDIR [/tmp]'
- echo ' --nfp configure for soft floating point [hard float]'
+ echo ' --nfp configure for software floating point [hard float]'
echo ' --with-FOO, --with-FOO=BAR package FOO is available (parameter BAR)'
echo ' --without-FOO package FOO is NOT available'
echo ' --enable-FOO, --enable-FOO=BAR include feature FOO (parameter BAR)'
echo ' --disable-FOO do not include feature FOO'
echo
- echo 'Where HOST and TARGET are something like "sparc-sunos", "mips-ultrix", etc.'
+ echo 'Where HOST and TARGET are something like "sparc-sunos", "mips-sgi-irix5", etc.'
echo
if [ -r config.status ] ; then
cat config.status