From 7847b1492cc4b7b17c8c54d54f4935a6a2e73cc0 Mon Sep 17 00:00:00 2001
From: Eitan Adler <grimreaper@users.noreply.github.com>
Date: Thu, 24 May 2018 20:30:14 -0700
Subject: Use $(MAKE) instead of raw "make" (#39588)

This Makefile uses non-standard constructs. As such it can only be
parsed by GNU make, which is often installed as 'gmake' instead of
'make'. Using $(MAKE) ensures the same version of make gets called that
is used to execute the top level.
---
 Makefile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 2e37bfccb3..82798a788f 100644
--- a/Makefile
+++ b/Makefile
@@ -377,12 +377,12 @@ deb-src-upload: deb-src
 
 .PHONY: epub
 epub:
-	(cd docs/docsite/; CPUS=$(CPUS) make epub)
+	(cd docs/docsite/; CPUS=$(CPUS) $(MAKE) epub)
 
 # for arch or gentoo, read instructions in the appropriate 'packaging' subdirectory directory
 .PHONY: webdocs
 webdocs:
-	(cd docs/docsite/; CPUS=$(CPUS) make docs)
+	(cd docs/docsite/; CPUS=$(CPUS) $(MAKE) docs)
 
 .PHONY: generate_rst
 generate_rst: lib/ansible/cli/*.py
@@ -391,7 +391,7 @@ generate_rst: lib/ansible/cli/*.py
 
 
 docs: generate_rst
-	make $(MANPAGES)
+	$(MAKE) $(MANPAGES)
 
 .PHONY: alldocs
 alldocs: docs webdocs
-- 
cgit v1.2.3