summaryrefslogtreecommitdiffhomepage
path: root/configure
diff options
context:
space:
mode:
authormidipix <writeonce@midipix.org>2021-04-09 09:30:51 +0000
committermidipix <writeonce@midipix.org>2021-04-10 20:54:40 +0000
commit4f06b392ba2ab8a683d3cb69ab2354dd54de43a3 (patch)
tree23a89d30ac9417bdb00e1d531d0d7a6245ed851d /configure
parentd064517e9221580ded49c99417a5199c0dd99def (diff)
downloadmdso-4f06b392ba2ab8a683d3cb69ab2354dd54de43a3.tar.bz2
mdso-4f06b392ba2ab8a683d3cb69ab2354dd54de43a3.tar.xz
build system: configure: added --make and MAKE support.
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure13
1 files changed, 12 insertions, 1 deletions
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=*)