Date: Mon, 30 Sep 1996 14:01:05 +0100
From: Sven Verdoolaege <skimo@breughel.ufsia.ac.be>
Warn the user of case-insensitive file systems that they may have
accidentally gotten 'configure' instead of 'Configure'.
#
(exit $?0) || exec sh $0 $argv:q
+if test $0 -ef `echo $0 | sed -e s/configure/Configure/`; then
+ echo "You're 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 explicitely extract Configure and run that."
+ exit 1
+fi
opts=''
verbose=''
create='-e'