summaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure12
1 files changed, 9 insertions, 3 deletions
diff --git a/configure b/configure
index 53167456d2..868e454111 100755
--- a/configure
+++ b/configure
@@ -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'