27 lines
617 B
Bash
Executable File
27 lines
617 B
Bash
Executable File
#!/bin/bash
|
|
|
|
pathremove() {
|
|
local IFS=':' NEWPATH="" DIR="" PATHVARIABLE=${2:-PATH}
|
|
for DIR in ${!PATHVARIABLE} ; do
|
|
if [ "$DIR" != "$1" ] ; then
|
|
NEWPATH=${NEWPATH:+$NEWPATH:}$DIR
|
|
fi
|
|
done
|
|
export "$PATHVARIABLE"="$NEWPATH"
|
|
}
|
|
|
|
if [[ -n "$HOMEBREW_MAKE" && "$HOMEBREW_MAKE" != "make" ]]
|
|
then
|
|
export MAKE="$HOMEBREW_MAKE"
|
|
else
|
|
SAVED_PATH="$PATH"
|
|
pathremove "$HOMEBREW_LIBRARY/Homebrew/shims/linux/super"
|
|
MAKE="$(which make)"
|
|
export MAKE
|
|
export PATH="$SAVED_PATH"
|
|
fi
|
|
|
|
export HOMEBREW_CCCFG="O$HOMEBREW_CCCFG"
|
|
|
|
exec "$MAKE" "$@"
|