From 1e190f00a26b157f3d6383b7792da0bc1ba53202 Mon Sep 17 00:00:00 2001
From: Gergely Nagy <algernon@keyboard.io>
Date: Tue, 25 Aug 2020 12:15:42 +0200
Subject: [PATCH] kaleidoscope-builder: Use ${MAKE} if available

Signed-off-by: Gergely Nagy <algernon@keyboard.io>
---
 bin/kaleidoscope-builder | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/kaleidoscope-builder b/bin/kaleidoscope-builder
index b0111260..f6143154 100755
--- a/bin/kaleidoscope-builder
+++ b/bin/kaleidoscope-builder
@@ -570,7 +570,7 @@ EOF
 run_simulator_tests() {
    kaleidoscope_dir="$(dirname "$0")/.."
    cd "${kaleidoscope_dir}/test/simulator"
-   make
+   ${MAKE:-make}
 }
 
 usage () {