From ac50469854a9a88ee23ab35e17707aecb881c29e Mon Sep 17 00:00:00 2001
Message-Id: <ac50469854a9a88ee23ab35e17707aecb881c29e.1717560022.git.mdw@distorted.org.uk>
From: Mark Wooding <mdw@chiark.greenend.org.uk>
Date: Sun, 10 May 2020 00:50:23 +0100
Subject: [PATCH] bin/mdw-build: Allow overriding the `make' program.
Organization: Straylight/Edgeware

From: Mark Wooding <mdw@distorted.org.uk>

Not generally useful, but handy for debugging.
---
 bin/mdw-build | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/bin/mdw-build b/bin/mdw-build
index 6a5a28a..45ca7f8 100755
--- a/bin/mdw-build
+++ b/bin/mdw-build
@@ -83,6 +83,7 @@ default_depends () {
 : ${clean=yes}
 : ${vpath=yes}
 : ${native=yes}
+: ${make=make}
 default_depends sbuild sbuildsrv
 default_depends sign signkey
 default_depends upload uploadpath
@@ -112,6 +113,7 @@ Build options:
   [no]sbuild[=SERVER]
   [no]sign[=KEYID]
   [no]native
+  make=MAKE
 EOF
 }
 
@@ -151,6 +153,7 @@ for opt; do
     sbuild=*)	sbuild=yes sbuildsrv=${opt#*=} ;;
     dput)	maybe_set dput dputtarget ;;
     dput=*)	dput=yes dputtarget=${opt#*=} ;;
+    make=*)	make=${opt#*=} ;;
 
     distcheck | debian | clean | vpath | native)
       eval "$opt=yes"
@@ -366,15 +369,15 @@ print-distdir:
 	@echo >&3 $(distdir)
 EOF
 assign distdir \
-	$({ make -f find-distdir.mk print-distdir >/dev/null 2>&1; } 3>&1)
+	$({ $make -f find-distdir.mk print-distdir >/dev/null 2>&1; } 3>&1)
 
 ## Get a tarball distribution.
 case "$distcheck" in
   yes)
-    run make $makeopts distcheck
+    run $make $makeopts distcheck
     ;;
   no)
-    run make $makeopts dist
+    run $make $makeopts dist
     ;;
 esac
 
-- 
[mdw]