From bab462559b9df592ecbca9af26b07b60bf026c40 Mon Sep 17 00:00:00 2001
From: Norbert Pueschel <pueschel@imsdd.meb.uni-bonn.de>
Date: Tue, 28 Jan 1997 23:11:17 +1200
Subject: Make configure{,.gnu} ignore --cache-file option

---
 configure.gnu | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'configure.gnu')

diff --git a/configure.gnu b/configure.gnu
index 868e454111..30af30d30f 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
-- 
cgit v1.2.1