From 3fa30842ed6a1d4867a18afbd0c6f049d502c1cc Mon Sep 17 00:00:00 2001
From: jvoisin <julien.voisin@dustri.org>
Date: Mon, 17 Jan 2022 22:16:45 +0100
Subject: [PATCH] Use $(MAKE) instead of make in Makefiles

This will pass the correct flags to the make
invocations.
---
 Makefile      | 4 ++--
 test/Makefile | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/Makefile b/Makefile
index 4f19f60..e3cd131 100644
--- a/Makefile
+++ b/Makefile
@@ -133,10 +133,10 @@ tidy:
 
 clean:
 	rm -f $(OUT)/libhardened_malloc.so $(OBJECTS)
-	make -C test/ clean
+	$(MAKE) -C test/ clean
 
 test: $(OUT)/libhardened_malloc$(SUFFIX).so
-	make -C test/
+	$(MAKE) -C test/
 	python3 -m unittest discover --start-directory test/
 
 .PHONY: check clean tidy test
diff --git a/test/Makefile b/test/Makefile
index f9dbf45..147a859 100644
--- a/test/Makefile
+++ b/test/Makefile
@@ -23,8 +23,8 @@ EXECUTABLES := \
     large_array_growth
 
 all: $(EXECUTABLES)
-	make -C simple-memory-corruption
+	$(MAKE) -C simple-memory-corruption
 
 clean:
 	rm -f $(EXECUTABLES)
-	make -C simple-memory-corruption clean
+	$(MAKE) -C simple-memory-corruption clean