Skip to content

Commit

Permalink
tool/zsh/mmake: style
Browse files Browse the repository at this point in the history
  • Loading branch information
mrdomino committed Jan 6, 2025
1 parent 21968ac commit 102edf4
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions tool/zsh/mmake
Original file line number Diff line number Diff line change
Expand Up @@ -40,17 +40,17 @@ done
}
local make=$(
case $MAKE in
*/*) echo $MAKE ;;
?*) command -v $MAKE ;;
*) echo .cosmocc/current/bin/make
*/*) 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.'
echo 'then put it on $PATH or point $MAKE to it.'
} >&2; return 1
fi
( set -x
Expand Down

0 comments on commit 102edf4

Please sign in to comment.