branch | cpp_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`"