diff options
| author | Martin Afanasjew | 2016-04-08 16:32:05 +0200 |
|---|---|---|
| committer | Martin Afanasjew | 2016-04-08 16:32:05 +0200 |
| commit | 6a82bc49c764a68cf81ef96cae7ba9dbd26a702e (patch) | |
| tree | f6eaf8edbaaeed4ac4e155523411c2de30e4124b /Library/brew.sh | |
| parent | d7aa0c0335dd67e4151503f3a29d7089c57059c3 (diff) | |
| download | brew-6a82bc49c764a68cf81ef96cae7ba9dbd26a702e.tar.bz2 | |
brew.sh: make sure to always use system 'awk'
This should prevent issues like #47 and make us more resilient.
Diffstat (limited to 'Library/brew.sh')
| -rw-r--r-- | Library/brew.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Library/brew.sh b/Library/brew.sh index 2e23cfde9..c52b8f966 100644 --- a/Library/brew.sh +++ b/Library/brew.sh @@ -97,7 +97,7 @@ else : "${HOMEBREW_OS_VERSION:=$(uname -r)}" fi HOMEBREW_USER_AGENT="$HOMEBREW_PRODUCT/$HOMEBREW_VERSION ($HOMEBREW_SYSTEM; $HOMEBREW_PROCESSOR $HOMEBREW_OS_VERSION)" -HOMEBREW_CURL_VERSION="$("$HOMEBREW_CURL" --version 2>/dev/null | head -n1 | awk '{print $1"/"$2}')" +HOMEBREW_CURL_VERSION="$("$HOMEBREW_CURL" --version 2>/dev/null | head -n1 | /usr/bin/awk '{print $1"/"$2}')" HOMEBREW_USER_AGENT_CURL="$HOMEBREW_USER_AGENT $HOMEBREW_CURL_VERSION" # Declared in bin/brew |