From d8c0c496d7cb24d0ea185d72e13001956e0bef81 Mon Sep 17 00:00:00 2001 From: Patrick Pelissier Date: Sun, 20 Aug 2017 17:30:25 +0200 Subject: [PATCH] Replace make by $(MAKE) --- Makefile | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/Makefile b/Makefile index 70442817..68f9c85e 100644 --- a/Makefile +++ b/Makefile @@ -8,16 +8,16 @@ all: test: check check: - cd tests && make check - cd example && make examples + cd tests && $(MAKE) check + cd example && $(MAKE) examples doc: README.md markdown < README.md > README.html clean: - cd tests && make clean - cd example && make clean - cd bench && make clean + cd tests && $(MAKE) clean + cd example && $(MAKE) clean + cd bench && $(MAKE) clean $(RM) -f README.html install: