From: Ralf Wildenhues Date: Sat, 14 Mar 2009 17:28:47 +0000 (+0100) Subject: maint.mk: really add $(AM_MAKEFLAGS) X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;ds=sidebyside;h=01c0837c339245a704e692cbb492d3238eab54fe;p=pspp maint.mk: really add $(AM_MAKEFLAGS) * top/maint.mk (init-coverage, build-coverage): `$(AM_MAKEFLAGS)' was inadvertently omitted in the last commit. Spotted by Bruno Haible. Signed-off-by: Ralf Wildenhues --- diff --git a/ChangeLog b/ChangeLog index bbb36c73a1..584962958d 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,10 @@ 2009-03-14 Ralf Wildenhues + maint.mk: really add $(AM_MAKEFLAGS) + * top/maint.mk (init-coverage, build-coverage): `$(AM_MAKEFLAGS)' + was inadvertently omitted in the last commit. + Spotted by Bruno Haible. + maint.mk: use $(MAKE) $(AM_MAKEFLAGS) not make * top/maint.mk (init-coverage, build-coverage): Use `$(MAKE) $(AM_MAKEFLAGS)' rather than plain `make'. diff --git a/top/maint.mk b/top/maint.mk index f378bd5b84..3177d577a5 100644 --- a/top/maint.mk +++ b/top/maint.mk @@ -110,15 +110,15 @@ syntax-check: $(syntax-check-rules) # Code Coverage init-coverage: - $(MAKE) clean + $(MAKE) $(AM_MAKEFLAGS) 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) $(AM_MAKEFLAGS) CFLAGS=$(COVERAGE_CCOPTS) CXXFLAGS=$(COVERAGE_CCOPTS) + $(MAKE) $(AM_MAKEFLAGS) CFLAGS=$(COVERAGE_CCOPTS) CXXFLAGS=$(COVERAGE_CCOPTS) check mkdir -p $(COVERAGE_OUT) lcov --directory . --output-file $(COVERAGE_OUT)/$(PACKAGE).info \ --capture