diff --git a/tool/zsh/mmake b/tool/zsh/mmake index 0b5315bae..d75b29a19 100644 --- a/tool/zsh/mmake +++ b/tool/zsh/mmake @@ -38,8 +38,21 @@ done whence nproc >/dev/null || autoload -Uz nproc j=-j$(nproc) } -local make=${MAKE:-${COSMOCC:-/opt/cosmocc/current}/bin/make} -[[ -x $make ]] || make=${COSMO:-$PWD}/build/bootstrap/make +local make=$( + case $MAKE in + */*) echo $MAKE ;; + ?*) command -v $MAKE ;; + *) echo .cosmocc/current/bin/make + esac +) +if [[ ! -x $make ]]; then + { echo 'please install a suitable make, for example:' + echo + echo 'https://cosmo.zip/pub/cosmos/bin/make' + echo + echo 'then either put it on your $PATH or point to it with $MAKE.' + } >&2; return 1 +fi ( set -x exec $make $j $flags MODE=$mode $targs ) # vim:ft=zsh