#
(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 explicitely extract Configure and run that."
+ exit 1
+ fi
+ ;;
+esac
+
opts=''
verbose=''
create='-e'