summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJunio C Hamano <gitster@pobox.com>2019-02-08 20:44:51 -0800
committerJunio C Hamano <gitster@pobox.com>2019-02-08 20:44:51 -0800
commit5a5f40881d6dcebec36190115779eeb4ae89b6c9 (patch)
tree43705f728e84011203833ff26351233c9905e305
parent154f22014b6985f9c5935cdf548311828cfcf638 (diff)
parent2299120f511e555b656d435e643a86beb36763d0 (diff)
Merge branch 'ds/coverage-prove'
A new target "coverage-prove" to run the coverage test under "prove" has been added. * ds/coverage-prove: Makefile: add coverage-prove target
-rw-r--r--Makefile5
1 files changed, 5 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 571160a2c4..0e13a5b469 100644
--- a/Makefile
+++ b/Makefile
@@ -3114,6 +3114,11 @@ coverage-test: coverage-clean-results coverage-compile
$(MAKE) CFLAGS="$(COVERAGE_CFLAGS)" LDFLAGS="$(COVERAGE_LDFLAGS)" \
DEFAULT_TEST_TARGET=test -j1 test
+coverage-prove: coverage-clean-results coverage-compile
+ $(MAKE) CFLAGS="$(COVERAGE_CFLAGS)" LDFLAGS="$(COVERAGE_LDFLAGS)" \
+ DEFAULT_TEST_TARGET=prove GIT_PROVE_OPTS="$(GIT_PROVE_OPTS) -j1" \
+ -j1 test
+
coverage-report:
$(QUIET_GCOV)for dir in $(object_dirs); do \
$(GCOV) $(GCOVFLAGS) --object-directory=$$dir $$dir*.c || exit; \