27 lines
578 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"
2018-06-27 15:19:56 -05:00
pathremove () {
local IFS=':'
local NEWPATH
local DIR
local PATHVARIABLE=${2:-PATH}
for DIR in ${!PATHVARIABLE} ; do
if [ "$DIR" != "$1" ] ; then
NEWPATH=${NEWPATH:+$NEWPATH:}$DIR
fi
done
export $PATHVARIABLE="$NEWPATH"
}
pathremove "$HOMEBREW_LIBRARY/Homebrew/shims/linux/super"
2018-06-27 14:08:00 -05:00
exec "$MAKE" "$@"