diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 12 |
1 files changed, 9 insertions, 3 deletions
@@ -21,12 +21,18 @@ # (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." + +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 + fi + ;; +esac + opts='' verbose='' create='-e' |