[AWS] PATCH: use $(MAKE) instead of make in templates_parser/makefile

[Tero Koskinen]

Hi,

On some systems (like *BSDs or Solaris) GNU Make (or any make clone)
is not always named as "make". The 'test' and 'doc' targets of
templates_parser/makefile fail in that case.

Following patch changes "make" to "$(MAKE)", so everything works
even if GNU Make is named as "gmake".

Index: makefile
===================================================================
--- makefile	(revision 119271)
+++ makefile	(working copy)
@@ -51,10 +51,10 @@
 	$(GNAT) make -Ptemplates_parser
 
 test: build
-	make -C regtests $(ALL_OPTIONS) test
+	$(MAKE) -C regtests $(ALL_OPTIONS) test
 
 doc:
-	make -C docs $(ALL_OPTIONS) doc
+	$(MAKE) -C docs $(ALL_OPTIONS) doc
 	echo Templates_Parser Documentation built with success.
 
 setup:
@@ -66,8 +66,8 @@
 
 clean:
 	$(GNAT) clean -Ptemplates_parser
-	make -C docs clean
-	make -C regtests clean
+	$(MAKE) -C docs clean
+	$(MAKE) -C regtests clean
 
 distrib:
 	-rm templates_parser-?.?.tar*



-- 
Tero Koskinen - http://iki.fi/tero.koskinen/