From ce8adfb48a7f4a2a7d5b76a2c74dfb2b6d81ec33 Mon Sep 17 00:00:00 2001
From: mikeller <github@ike.ch>
Date: Mon, 13 Jun 2016 23:14:10 +1200
Subject: [PATCH] Use $(MAKE) instead of make in Makefile.

---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 8b574affc..47b286887 100644
--- a/Makefile
+++ b/Makefile
@@ -1094,8 +1094,8 @@ all: binary
 all_targets:
 	for build_target in $(VALID_TARGETS); do \
 		echo "Building $$build_target" && \
-		make clean && \
-		make -j TARGET=$$build_target || \
+		$(MAKE) clean && \
+		$(MAKE) -j TARGET=$$build_target || \
 		break; \
 		echo "Building $$build_target succeeded."; \
 	done