zsh: use Homebrew's make if available

This commit is contained in:
Fernando Schauenburg 2023-01-22 00:36:54 +01:00
parent fd9708e5ea
commit 666fdf9134

View file

@ -45,6 +45,7 @@ while read -r dir; do
done <<EOL done <<EOL
$LOCAL_PREFIX/bin $LOCAL_PREFIX/bin
$LOCAL_PREFIX/opt/curl/bin $LOCAL_PREFIX/opt/curl/bin
$LOCAL_PREFIX/opt/make/libexec/gnubin
$LOCAL_PREFIX/opt/findutils/libexec/gnubin $LOCAL_PREFIX/opt/findutils/libexec/gnubin
$LOCAL_PREFIX/opt/gnu-sed/libexec/gnubin $LOCAL_PREFIX/opt/gnu-sed/libexec/gnubin
$LOCAL_PREFIX/opt/gnu-tar/libexec/gnubin $LOCAL_PREFIX/opt/gnu-tar/libexec/gnubin
@ -66,6 +67,7 @@ while read -r dir; do
done <<EOL done <<EOL
$LOCAL_PREFIX/share/man $LOCAL_PREFIX/share/man
$LOCAL_PREFIX/opt/curl/share/man $LOCAL_PREFIX/opt/curl/share/man
$LOCAL_PREFIX/opt/make/libexec/gnuman
$LOCAL_PREFIX/opt/findutils/libexec/gnuman $LOCAL_PREFIX/opt/findutils/libexec/gnuman
$LOCAL_PREFIX/opt/gnu-sed/libexec/gnuman $LOCAL_PREFIX/opt/gnu-sed/libexec/gnuman
$LOCAL_PREFIX/opt/gnu-tar/libexec/gnuman $LOCAL_PREFIX/opt/gnu-tar/libexec/gnuman