diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -3,7 +3,10 @@ CONFIGURE_EXECUTABLE="$_" # On *nix systems those two are equal when ./configure is done if [ "$0" != "$CONFIGURE_EXECUTABLE" ]; then - if [ -z "`echo $CONFIGURE_EXECUTABLE | grep make`" ]; then + # On some systems, when ./configure is triggered from 'make' + # the $_ is filled with 'make'. So if that is true, skip 'make' + # and use $0 (and hope that is correct ;)) + if [ -n "`echo $CONFIGURE_EXECUTABLE | grep make`" ]; then CONFIGURE_EXECUTABLE="$0" else CONFIGURE_EXECUTABLE="$CONFIGURE_EXECUTABLE $0" |