diff options
author | midipix <writeonce@midipix.org> | 2021-04-09 09:30:51 +0000 |
---|---|---|
committer | midipix <writeonce@midipix.org> | 2021-04-09 09:30:51 +0000 |
commit | ebc6d4fef9a9ceff4b3f2b9d8c7756c26fc0c428 (patch) | |
tree | a5b6e20b620783f2e1d78ae23a377ecec6e7ac08 /configure | |
parent | 3174324e035bd0621ca464adb175bb652cc3f301 (diff) | |
download | slibtool-ebc6d4fef9a9ceff4b3f2b9d8c7756c26fc0c428.tar.bz2 slibtool-ebc6d4fef9a9ceff4b3f2b9d8c7756c26fc0c428.tar.xz |
build system: configure: added --make and MAKE support.
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 13 |
1 files changed, 12 insertions, 1 deletions
@@ -211,6 +211,8 @@ init_vars() mb_pdfdir=$PDFDIR mb_psdir=$PSDIR + # make + mb_make=$MAKE # build mb_build=$BUILD @@ -600,6 +602,11 @@ common_defaults() fi fi + # make + if [ -z "$mb_make" ]; then + mb_make='make' + fi + # shell if [ -z "$mb_shell" ]; then mb_shell='/bin/sh' @@ -732,7 +739,7 @@ config_host() { output_step_prolog ${mb_script} 'config_host' - make -s host.tag \ + ${mb_make} -s host.tag \ && output_step_epilog \ && return 0 @@ -887,6 +894,10 @@ for arg ; do mb_psdir=${arg#*=} ;; + #make + --make=*) + mb_make=${arg#*=} + ;; # build --build=*) |