From 9c80d66ec1b4c5b9ac7aaf5b0fdbb1628d49c181 Mon Sep 17 00:00:00 2001
From: John Baldwin <jhb@FreeBSD.org>
Date: Fri, 8 Sep 2023 16:36:52 -0700
Subject: [PATCH] makeman: Use ${make} instead of plain make to compute
 ${requireds}

This is currently a no-op but can matter for downstreams whose ${make}
includes additional settings.

Reviewed by:	imp, emaste
Obtained from:	CheriBSD
Sponsored by:	DARPA
Differential Revision:	https://reviews.freebsd.org/D41777
---
 tools/build/options/makeman | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/build/options/makeman b/tools/build/options/makeman
index f4089d453801..30416b03b983 100755
--- a/tools/build/options/makeman
+++ b/tools/build/options/makeman
@@ -127,7 +127,7 @@ show()
 		exit 1
 		;;
 	esac
-	requireds=`env -i make -f ${srcdir}/share/mk/src.opts.mk \
+	requireds=`env -i ${make} -f ${srcdir}/share/mk/src.opts.mk \
 	    -V '${__REQUIRED_OPTIONS:ts,}'`
 	env -i ${make} .MAKE.MODE=normal "$@" showconfig __MAKE_CONF=/dev/null \
 	    SRCCONF=/dev/null |