diff options
Diffstat (limited to 'BUILD')
| -rw-r--r-- | BUILD/FINISH.sh | 2 | ||||
| -rwxr-xr-x | BUILD/SETUP.sh | 2 |
2 files changed, 3 insertions, 1 deletions
diff --git a/BUILD/FINISH.sh b/BUILD/FINISH.sh index 1bbc47341c9..37dcd1fe836 100644 --- a/BUILD/FINISH.sh +++ b/BUILD/FINISH.sh @@ -39,7 +39,7 @@ if [ -z "$just_configure" -a -z "$just_clean" ] then commands="$commands -$make $AM_MAKEFLAGS" +$make $AM_MAKEFLAGS $AM_EXTRA_MAKEFLAGS $EXTRA_MAKEFLAGS" if [ "x$strip" = "xyes" ] then diff --git a/BUILD/SETUP.sh b/BUILD/SETUP.sh index 9f552f1ca5e..de3cb4890a9 100755 --- a/BUILD/SETUP.sh +++ b/BUILD/SETUP.sh @@ -58,6 +58,8 @@ parse_options() EXTRA_CXXFLAGS=`get_key_value "$1"`;; --extra-configs=*) EXTRA_CONFIGS=`get_key_value "$1"`;; + --extra-makeflags=*) + EXTRA_MAKEFLAGS=`get_key_value "$1"`;; -c | --just-configure) just_configure=1;; -n | --just-print | --print) |