summaryrefslogtreecommitdiff
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:53 +0000
commitc385825eb1aa0d4afb403dc862119675a9107ddb (patch)
tree79fba022c30253431cbb280e051fd05a8516e7fb /configure
parent6fa141358a99b37c9b230b5cc24431abbd892ebe (diff)
downloadsbpython3-c385825eb1aa0d4afb403dc862119675a9107ddb.tar.bz2
sbpython3-c385825eb1aa0d4afb403dc862119675a9107ddb.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=*)