From 9c24066ec333739c00667f00530b70412cd9f01e Mon Sep 17 00:00:00 2001
From: midipix <writeonce@midipix.org>
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