diff --git a/Library/Homebrew/shims/linux/super/make b/Library/Homebrew/shims/linux/super/make new file mode 100755 index 0000000000..8421ea17ce --- /dev/null +++ b/Library/Homebrew/shims/linux/super/make @@ -0,0 +1,26 @@ +#!/bin/bash + +if [[ -n "$HOMEBREW_MAKE" && "$HOMEBREW_MAKE" != "make" ]] +then + export MAKE="$HOMEBREW_MAKE" +else + MAKE="make" +fi +export HOMEBREW_CCCFG="O$HOMEBREW_CCCFG" + +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" + +exec "$MAKE" "$@"