diff options
-rw-r--r-- | Makefile.am.coverage | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/Makefile.am.coverage b/Makefile.am.coverage index 296ad10..9c59b95 100644 --- a/Makefile.am.coverage +++ b/Makefile.am.coverage @@ -1,17 +1,18 @@ # Coverage targets -.PHONY: clean-coverage-html clean-coverage-gcovr +.PHONY: clean-gcda \ + coverage-html generate-coverage-html clean-coverage-html \ + coverage-gcovr generate-coverage-gcovr clean-coverage-gcovr + clean-local: clean-coverage-html clean-coverage-gcovr if HAVE_GCOV -.PHONY: clean-gcda clean-gcda: @echo Removing old coverage results -find -name '*.gcda' -print | xargs -r rm -.PHONY: coverage-html generate-coverage-html coverage-html: clean-gcda -$(MAKE) $(AM_MAKEFLAGS) -k check $(MAKE) $(AM_MAKEFLAGS) generate-coverage-html @@ -27,7 +28,6 @@ clean-coverage-html: clean-gcda if HAVE_GCOVR -.PHONY: coverage-gcovr generate-coverage-gcovr coverage-gcovr: clean-gcda -$(MAKE) $(AM_MAKEFLAGS) -k check $(MAKE) $(AM_MAKEFLAGS) generate-coverage-gcovr |