diff options
| author | Junio C Hamano <gitster@pobox.com> | 2019-02-09 04:44:51 (GMT) |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2019-02-09 04:44:51 (GMT) |
| commit | 5a5f40881d6dcebec36190115779eeb4ae89b6c9 (patch) | |
| tree | 43705f728e84011203833ff26351233c9905e305 /Makefile | |
| parent | 154f22014b6985f9c5935cdf548311828cfcf638 (diff) | |
| parent | 2299120f511e555b656d435e643a86beb36763d0 (diff) | |
| download | git-5a5f40881d6dcebec36190115779eeb4ae89b6c9.zip git-5a5f40881d6dcebec36190115779eeb4ae89b6c9.tar.gz git-5a5f40881d6dcebec36190115779eeb4ae89b6c9.tar.bz2 | |
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
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -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; \ |