equal
deleted
inserted
replaced
1 #!/bin/sh |
1 #!/bin/sh |
2 |
2 |
|
3 CONFIGURE_EXECUTABLE="$_" |
|
4 # On *nix systems those two are equal when ./configure is done |
|
5 if [ "$0" != "$CONFIGURE_EXECUTABLE" ]; then |
|
6 CONFIGURE_EXECUTABLE="$CONFIGURE_EXECUTABLE $0" |
|
7 fi |
3 # Find out where configure is (in what dir) |
8 # Find out where configure is (in what dir) |
4 ROOT_DIR="`dirname $0`" |
9 ROOT_DIR="`dirname $0`" |
5 ROOT_DIR="`cd $ROOT_DIR && pwd`" |
10 ROOT_DIR="`cd $ROOT_DIR && pwd`" |
6 |
11 |
7 PWD="`pwd`" |
12 PWD="`pwd`" |