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:55:01 +0000
commitaebb775b4178ddd2c11ff9557512f996ec0fe207 (patch)
treedcf9cb8a5a29f86ad119c450646996b480727aa9 /configure
parent8c1a6d7b50cd9e59d915c488ec25cd6db6d02a21 (diff)
downloadw32lib-aebb775b4178ddd2c11ff9557512f996ec0fe207.tar.bz2
w32lib-aebb775b4178ddd2c11ff9557512f996ec0fe207.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=*)