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 explicitely extract Configure and run that."
+ echo "You'll have to explicitly extract Configure and run that."
exit 1
fi
;;
case $1 in
--help)
cat <<EOM
-Usage: configure [options]
+Usage: configure.gnu [options]
This is GNU configure-like front end for a metaconfig-generated Configure.
It emulates the following GNU configure options (must be fully spelled out):
--help
--no-create
--prefix=PREFIX
+ --cache-file (ignored)
--quiet
--silent
--verbose
opts="$opts $arg"
shift
;;
+ --cache-file=*)
+ shift # Just ignore it.
+ ;;
--quiet|--silent)
exec >/dev/null 2>&1
shift