From f7ab5d62605365236985e027c84229880ce94eb6 Mon Sep 17 00:00:00 2001
From: Quy Le Anh <quyleanh@users.noreply.github.com>
Date: Sun, 24 Oct 2021 10:22:23 +0700
Subject: [PATCH] Add define for MAKE variable

Currently there is no define for MAKE. Running script always throws `obsolete make version; need GNU make 4.x or later` error.

This config is from [`build-util.sh` script](https://github.com/ucb-bar/chipyard/blob/9d055fdac638ab90735cbde42fd2d86355eb260b/scripts/build-util.sh#L17-L19)
---
 scripts/build-toolchains.sh | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/scripts/build-toolchains.sh b/scripts/build-toolchains.sh
index 19fa524e..d09370d1 100755
--- a/scripts/build-toolchains.sh
+++ b/scripts/build-toolchains.sh
@@ -11,6 +11,10 @@ set -o pipefail
 DIR="$(dirname "$(readlink -f "${BASH_SOURCE[0]:-${(%):-%x}}")")"
 CHIPYARD_DIR="$(dirname "$DIR")"
 
+# Allow user to override MAKE
+[ -n "${MAKE:+x}" ] || MAKE=$(command -v gnumake || command -v gmake || command -v make)
+readonly MAKE
+
 usage() {
     echo "usage: ${0} [OPTIONS] [riscv-tools | esp-tools | ec2fast]"
     echo ""