From 9c24066ec333739c00667f00530b70412cd9f01e Mon Sep 17 00:00:00 2001 From: midipix Date: Fri, 9 Apr 2021 09:30:51 +0000 Subject: build system: configure: added --make and MAKE support. --- configure | 13 ++++++++++++- 1 file changed, 12 insertions(+), 1 deletion(-) (limited to 'configure') diff --git a/configure b/configure index 62c2b11..2240589 100755 --- a/configure +++ b/configure @@ -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=*) -- cgit v1.2.3