configure
branchgamebalance
changeset 9906 6f41b8713b65
parent 9895 7bd07f43b0e3
child 6713 f59d6b98050c
--- a/configure	Sun Apr 01 09:38:43 2007 +0000
+++ b/configure	Thu Apr 19 14:43:25 2007 +0000
@@ -3,7 +3,11 @@
 CONFIGURE_EXECUTABLE="$_"
 # On *nix systems those two are equal when ./configure is done
 if [ "$0" != "$CONFIGURE_EXECUTABLE" ]; then
-	CONFIGURE_EXECUTABLE="$CONFIGURE_EXECUTABLE $0"
+	if [ -z "`echo $CONFIGURE_EXECUTABLE | grep make`" ]; then
+		CONFIGURE_EXECUTABLE="$0"
+	else
+		CONFIGURE_EXECUTABLE="$CONFIGURE_EXECUTABLE $0"
+	fi
 fi
 # Find out where configure is (in what dir)
 ROOT_DIR="`dirname $0`"