From b2ba94b146923573f4203d17474777bb4c30cea8 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Bj=C3=B6rn=20Jacke?= <bj@sernet.de>
Date: Mon, 25 Jun 2012 19:44:24 +0200
Subject: [PATCH] s3:Makefile: use our "$MAKE" instead of "make" in our own
 Makefile

---
 source3/Makefile.in | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/source3/Makefile.in b/source3/Makefile.in
index 4adbaa06100..148de92b370 100644
--- a/source3/Makefile.in
+++ b/source3/Makefile.in
@@ -3418,6 +3418,6 @@ vfs_examples:
 	( \
 	cd ../examples/VFS && \
 	./configure && \
-	make clean && \
-	make \
+	$(MAKE) clean && \
+	$(MAKE) \
 	)
-- 
2.11.4.GIT