configure
branchcpp_gui
changeset 6298 c30fe89622df
parent 6268 4b5241e5dd10
child 6303 84c215fc8eb8
--- a/configure	Sat Mar 10 11:07:13 2007 +0000
+++ b/configure	Sun Mar 11 16:31:18 2007 +0000
@@ -1,5 +1,10 @@
 #!/bin/sh
 
+CONFIGURE_EXECUTABLE="$_"
+# On *nix systems those two are equal when ./configure is done
+if [ "$0" != "$CONFIGURE_EXECUTABLE" ]; then
+	CONFIGURE_EXECUTABLE="$CONFIGURE_EXECUTABLE $0"
+fi
 # Find out where configure is (in what dir)
 ROOT_DIR="`dirname $0`"
 ROOT_DIR="`cd $ROOT_DIR && pwd`"