Use $(MAKE) instead of make in Makefiles

This will pass the correct flags to the make invocations.
2022-01-17 22:16:45 +01:00
parent b3d78bd5f6
commit 3fa30842ed
2 changed files with 4 additions and 4 deletions
--- 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