X-Git-Url: http://git.shadowcat.co.uk/gitweb/gitweb.cgi?a=blobdiff_plain;f=configure;h=e1011479483a09adaef318d195c3492aad9d0d80;hb=2ddcc7aa6c936ba8e7a9703319dfd8959bb54574;hp=29e7d351b446669bc678dd54926312e34dba48a1;hpb=f87d5507fb010a3884966d0988c92a49078b389e;p=p5sagit%2Fp5-mst-13.2.git

diff --git a/configure b/configure
index 29e7d35..e101147 100755
--- a/configure
+++ b/configure
@@ -21,6 +21,18 @@
 #
 
 (exit $?0) || exec sh $0 $argv:q
+
+case "$0" in
+*configure)
+    if cmp $0 `echo $0 | sed -e s/configure/Configure/` >/dev/null; then
+	echo "Your configure and Configure scripts seem to be identical."
+	echo "This can happen on filesystems that aren't fully case sensitive."
+	echo "You'll have to explicitly extract Configure and run that."
+	exit 1
+    fi
+    ;;
+esac
+
 opts=''
 verbose=''
 create='-e'
@@ -34,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
@@ -52,6 +65,9 @@ EOM
 		opts="$opts $arg"
 		shift
 		;;
+ 	--cache-file=*)
+ 		shift		# Just ignore it.
+ 		;;
 	--quiet|--silent)
 		exec >/dev/null 2>&1
 		shift