From 6a82bc49c764a68cf81ef96cae7ba9dbd26a702e Mon Sep 17 00:00:00 2001
From: Martin Afanasjew <martin@afanasjew.de>
Date: Fri, 8 Apr 2016 16:32:05 +0200
Subject: [PATCH] brew.sh: make sure to always use system 'awk'

This should prevent issues like #47 and make us more resilient.
---
 Library/brew.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Library/brew.sh b/Library/brew.sh
index 2e23cfde9b..c52b8f9663 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