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