From fd772b9b2acdd37a3030c65a756ee1c7a1ea048f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C5=8Dshin?= Date: Tue, 26 Dec 2023 10:27:04 -0500 Subject: [PATCH] mmake uses $MAKE if available --- tool/zsh/mmake | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/tool/zsh/mmake b/tool/zsh/mmake index b7bb02d6a..5fdf97382 100644 --- a/tool/zsh/mmake +++ b/tool/zsh/mmake @@ -38,8 +38,7 @@ done whence nproc >/dev/null || autoload -Uz nproc j=-j$(nproc) } -local make -[[ -x /opt/cosmocc/bin/make ]] && make=/opt/cosmocc/bin/make +local make=${MAKE:-$(echo /opt/cosmocc/bin/make(X) 2>/dev/null)} [[ -z $make ]] && make=build/bootstrap/make.com ( set -x exec $make $j $flags MODE=$mode $targs )