2012-09-03 11:56:29 -04:00
|
|
|
#!/bin/bash
|
2016-08-07 12:54:25 +02:00
|
|
|
|
2017-10-01 12:36:13 +01:00
|
|
|
if [[ -n "$HOMEBREW_MAKE" && "$HOMEBREW_MAKE" != "make" ]]
|
|
|
|
then
|
|
|
|
export MAKE="$HOMEBREW_MAKE"
|
|
|
|
else
|
|
|
|
MAKE="make"
|
|
|
|
fi
|
2012-08-30 10:03:26 -04:00
|
|
|
export HOMEBREW_CCCFG="O$HOMEBREW_CCCFG"
|
2017-10-01 12:36:13 +01:00
|
|
|
exec xcrun "$MAKE" "$@"
|