admin/brew
1
0
Fork 0
Code Issues Packages Projects Releases 6 Wiki Activity

Fix for Linux make shim

Browse Source
This commit is contained in:
Maxim Belkin 2018-07-30 09:16:33 -05:00
parent adf2dd9e10
commit 947e1eb57b
No known key found for this signature in database
GPG Key ID: AC71560D4C5F2338
1 changed files with 12 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

25
Library/Homebrew/shims/linux/super/make
View File

@ -1,18 +1,7 @@
#!/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}
local IFS=':' NEWPATH="" DIR="" PATHVARIABLE=${2:-PATH}
for DIR in ${!PATHVARIABLE} ; do
if [ "$DIR" != "$1" ] ; then
NEWPATH=${NEWPATH:+$NEWPATH:}$DIR
@ -21,6 +10,16 @@ pathremove () {
export $PATHVARIABLE="$NEWPATH"
}
pathremove "$HOMEBREW_LIBRARY/Homebrew/shims/linux/super"
if [[ -n "$HOMEBREW_MAKE" && "$HOMEBREW_MAKE" != "make" ]]
then
export MAKE="$HOMEBREW_MAKE"
else
SAVED_PATH="$PATH"
pathremove "$HOMEBREW_LIBRARY/Homebrew/shims/linux/super"
export MAKE="$(which make)"
export PATH="$SAVED_PATH"
fi
export HOMEBREW_CCCFG="O$HOMEBREW_CCCFG"
exec "$MAKE" "$@"