configure
branchgamebalance
changeset 9907 3b068c3a1c74
parent 9906 6f41b8713b65
child 6720 35756db7e577
child 7307 ac1545fc0a87
child 9621 7654501cf02d
--- a/configure	Thu Apr 19 14:43:25 2007 +0000
+++ b/configure	Thu Apr 19 14:48:10 2007 +0000
@@ -3,7 +3,10 @@
 CONFIGURE_EXECUTABLE="$_"
 # On *nix systems those two are equal when ./configure is done
 if [ "$0" != "$CONFIGURE_EXECUTABLE" ]; then
-	if [ -z "`echo $CONFIGURE_EXECUTABLE | grep make`" ]; then
+	# On some systems, when ./configure is triggered from 'make'
+	#  the $_ is filled with 'make'. So if that is true, skip 'make'
+	#  and use $0 (and hope that is correct ;))
+	if [ -n "`echo $CONFIGURE_EXECUTABLE | grep make`" ]; then
 		CONFIGURE_EXECUTABLE="$0"
 	else
 		CONFIGURE_EXECUTABLE="$CONFIGURE_EXECUTABLE $0"