From: Norbert Pueschel <pueschel@imsdd.meb.uni-bonn.de>
Date: Tue, 28 Jan 1997 11:11:17 +0000 (+1200)
Subject: Make configure{,.gnu} ignore --cache-file option
X-Git-Url: http://git.shadowcat.co.uk/gitweb/gitweb.cgi?a=commitdiff_plain;h=bab462559b9df592ecbca9af26b07b60bf026c40;p=p5sagit%2Fp5-mst-13.2.git

Make configure{,.gnu} ignore --cache-file option
---

diff --git a/configure b/configure
index 868e454..30af30d 100755
--- a/configure
+++ b/configure
@@ -46,6 +46,7 @@ It emulates the following GNU configure options (must be fully spelled out):
 	--help
 	--no-create
 	--prefix=PREFIX
+ 	--cache-file  (ignored)
 	--quiet
 	--silent
 	--verbose
@@ -64,6 +65,9 @@ EOM
 		opts="$opts $arg"
 		shift
 		;;
+ 	--cache-file=*)
+ 		shift		# Just ignore it.
+ 		;;
 	--quiet|--silent)
 		exec >/dev/null 2>&1
 		shift
diff --git a/configure.gnu b/configure.gnu
index 868e454..30af30d 100755
--- a/configure.gnu
+++ b/configure.gnu
@@ -46,6 +46,7 @@ It emulates the following GNU configure options (must be fully spelled out):
 	--help
 	--no-create
 	--prefix=PREFIX
+ 	--cache-file  (ignored)
 	--quiet
 	--silent
 	--verbose
@@ -64,6 +65,9 @@ EOM
 		opts="$opts $arg"
 		shift
 		;;
+ 	--cache-file=*)
+ 		shift		# Just ignore it.
+ 		;;
 	--quiet|--silent)
 		exec >/dev/null 2>&1
 		shift