From 67d8ae906c32c69f7ca86bc25c820a676f0063ce Mon Sep 17 00:00:00 2001
From: Franz Pletz <fpletz@fnordicwalking.de>
Date: Wed, 21 Jan 2015 04:59:51 +0100
Subject: [PATCH] Use ${MAKE} instead of calling make

---
 Makefile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index 06d9016..451c302 100644
--- a/Makefile
+++ b/Makefile
@@ -20,14 +20,14 @@ GLUON_MAKE := ${MAKE} -j ${JOBS} -C ${GLUON_BUILD_DIR} \
                       GLUON_BRANCH=${GLUON_BRANCH}
 
 all: gluon-clean
-	make manifest
-	make gluon-clean
+	${MAKE} manifest
+	${MAKE} gluon-clean
 
 build: gluon-prepare
 	${GLUON_MAKE}
 
 images: build
-	make images-clean
+	${MAKE} images-clean
 	mv ${GLUON_BUILD_DIR}/images .
 
 manifest: images