diff options
author | truelight <truelight@openttd.org> | 2007-03-19 18:37:23 +0000 |
---|---|---|
committer | truelight <truelight@openttd.org> | 2007-03-19 18:37:23 +0000 |
commit | beb21139c3318d722173ec442660240734a3e362 (patch) | |
tree | f01c6e04b41a91e9f219bdc8c83d4d4751ff2e4e | |
parent | adf90db9d086de15f0f177d467e28ca0ce8b8f55 (diff) | |
download | openttd-beb21139c3318d722173ec442660240734a3e362.tar.xz |
(svn r9340) [Config] -Fix: on some systems $_ was set to /usr/bin/make; filter for this (tnx peter1138)
-rwxr-xr-x | configure | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -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`" |