mirror of
https://github.com/jart/cosmopolitan.git
synced 2025-08-02 16:00:30 +00:00
Update mmake to use correct make
This commit is contained in:
parent
b188390f6a
commit
2bf188b486
1 changed files with 15 additions and 2 deletions
|
@ -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
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue