From 6ad6128f9b280ccbf1d5382744a50c8aa6dccff8 Mon Sep 17 00:00:00 2001
From: Maxim Belkin <maxim.belkin@gmail.com>
Date: Wed, 27 Jun 2018 14:08:00 -0500
Subject: [PATCH] Add make shim to Linux super env

---
 Library/Homebrew/shims/linux/super/make | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100755 Library/Homebrew/shims/linux/super/make

diff --git a/Library/Homebrew/shims/linux/super/make b/Library/Homebrew/shims/linux/super/make
new file mode 100755
index 0000000000..bd9d74c34c
--- /dev/null
+++ b/Library/Homebrew/shims/linux/super/make
@@ -0,0 +1,10 @@
+#!/bin/bash
+
+if [[ -n "$HOMEBREW_MAKE" && "$HOMEBREW_MAKE" != "make" ]]
+then
+  export MAKE="$HOMEBREW_MAKE"
+else
+  MAKE="make"
+fi
+export HOMEBREW_CCCFG="O$HOMEBREW_CCCFG"
+exec "$MAKE" "$@"