#
(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'
--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
*) copt="$copt -d";;
esac
-set X ./Configure $copt $create $opts
+set X sh Configure $copt $create $opts
shift
echo "$@"
exec "$@"