From cdf7b7061ba71ff742c6b51bbf72c9e687a64f26 Mon Sep 17 00:00:00 2001
From: Milo Davis <davis.mil@husky.neu.edu>
Date: Thu, 15 Mar 2018 13:25:38 -0400
Subject: [PATCH] Makefile: use ${MAKE} for recursive calls

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

diff --git a/Makefile b/Makefile
index 76e608c39..a4ae2e51d 100644
--- a/Makefile
+++ b/Makefile
@@ -41,7 +41,7 @@ doc-html: all
 	@mkdir -p $$(pwd)/docs/_build/api/odoc
 	@rm -rf $$(pwd)/docs/_build/api/odoc/*
 	@cp -r $$(pwd)/_build/default/_doc/* $$(pwd)/docs/_build/api/odoc/
-	@make -C docs
+	@${MAKE} -C docs
 
 build-test:
 	@jbuilder build @buildtest ${DEV}
@@ -77,6 +77,6 @@ clean:
 		tezos-admin-client \
 		tezos-protocol-compiler \
 		tezos-alpha-baker
-	@-make -C docs clean
+	@-${MAKE} -C docs clean
 
 .PHONY: all test build-deps docker-image clean