From 947e1eb57bbff247572cfc3eaa3fb6b3f4acc510 Mon Sep 17 00:00:00 2001 From: Maxim Belkin Date: Mon, 30 Jul 2018 09:16:33 -0500 Subject: [PATCH] Fix for Linux make shim --- Library/Homebrew/shims/linux/super/make | 25 ++++++++++++------------- 1 file changed, 12 insertions(+), 13 deletions(-) diff --git a/Library/Homebrew/shims/linux/super/make b/Library/Homebrew/shims/linux/super/make index 8421ea17ce..d47a25ec30 100755 --- a/Library/Homebrew/shims/linux/super/make +++ b/Library/Homebrew/shims/linux/super/make @@ -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" "$@"