11 lines
189 B
Plaintext
Raw Normal View History

2018-06-27 14:08:00 -05:00
#!/bin/bash
if [[ -n "$HOMEBREW_MAKE" && "$HOMEBREW_MAKE" != "make" ]]
then
export MAKE="$HOMEBREW_MAKE"
else
MAKE="make"
fi
export HOMEBREW_CCCFG="O$HOMEBREW_CCCFG"
exec "$MAKE" "$@"