From: Ralf Wildenhues <Ralf.Wildenhues@gmx.de>
Date: Sat, 14 Mar 2009 16:07:45 +0000 (+0100)
Subject: maint.mk: use $(MAKE) $(AM_MAKEFLAGS) not make
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=77d1b17de32d8299a8c550944b922e55db5dc22e;p=pspp

maint.mk: use $(MAKE) $(AM_MAKEFLAGS) not make

* top/maint.mk (init-coverage, build-coverage): Use `$(MAKE)
$(AM_MAKEFLAGS)' rather than plain `make'.

Signed-off-by: Ralf Wildenhues <Ralf.Wildenhues@gmx.de>
---

diff --git a/ChangeLog b/ChangeLog
index 752959b5f4..bbb36c73a1 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,9 @@
 2009-03-14  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
 
+	maint.mk: use $(MAKE) $(AM_MAKEFLAGS) not make
+	* top/maint.mk (init-coverage, build-coverage): Use `$(MAKE)
+	$(AM_MAKEFLAGS)' rather than plain `make'.
+
 	gnulib-tool: execute $MAKE not make
 	* gnulib-tool: Default $MAKE to 'make'.
 	(func_create_testdir, func_create_megatestdir): Use $MAKE rather
diff --git a/top/maint.mk b/top/maint.mk
index d04530c209..f378bd5b84 100644
--- a/top/maint.mk
+++ b/top/maint.mk
@@ -2,7 +2,7 @@
 # This Makefile fragment is intended to be useful by any GNU-like project.
 # This file originate from coreutils, CPPI, Bison, and Autoconf.
 
-# Copyright (C) 2001-2008 Free Software Foundation, Inc.
+# Copyright (C) 2001-2009 Free Software Foundation, Inc.
 #
 # This program is free software; you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by
@@ -110,15 +110,15 @@ syntax-check: $(syntax-check-rules)
 # Code Coverage
 
 init-coverage:
-	make clean
+	$(MAKE) clean
 	lcov --directory . --zerocounters
 
 COVERAGE_CCOPTS ?= "-g --coverage"
 COVERAGE_OUT ?= doc/coverage
 
 build-coverage:
-	make CFLAGS=$(COVERAGE_CCOPTS) CXXFLAGS=$(COVERAGE_CCOPTS)
-	make CFLAGS=$(COVERAGE_CCOPTS) CXXFLAGS=$(COVERAGE_CCOPTS) check
+	$(MAKE) CFLAGS=$(COVERAGE_CCOPTS) CXXFLAGS=$(COVERAGE_CCOPTS)
+	$(MAKE) CFLAGS=$(COVERAGE_CCOPTS) CXXFLAGS=$(COVERAGE_CCOPTS) check
 	mkdir -p $(COVERAGE_OUT)
 	lcov --directory . --output-file $(COVERAGE_OUT)/$(PACKAGE).info \
 		--capture