diff options
| author | Peter Eisentraut | 2017-08-11 03:33:47 +0000 |
|---|---|---|
| committer | Peter Eisentraut | 2017-10-06 15:39:46 +0000 |
| commit | 52e1b1b0425553250db35101f44090898322fb6f (patch) | |
| tree | 3717b2ba5799fc8a392c93794bb54c2b3acc32ad | |
| parent | c01123630db18561039d4eb17f9502bed0e9d109 (diff) | |
Run coverage commands quietly
They are very chatty by default, but the output doesn't seem all that
useful for normal operation.
Reviewed-by: Michael Paquier <michael.paquier@gmail.com>
| -rw-r--r-- | src/Makefile.global.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Makefile.global.in b/src/Makefile.global.in index d4fed904058..9340d60de58 100644 --- a/src/Makefile.global.in +++ b/src/Makefile.global.in @@ -893,7 +893,7 @@ coverage: $(local_gcda_files:.gcda=.c.gcov) .PHONY: coverage-html coverage-html: coverage-html-stamp -GENHTML_FLAGS = --legend +GENHTML_FLAGS = -q --legend GENHTML_TITLE = PostgreSQL $(VERSION) coverage-html-stamp: lcov_base.info lcov_test.info @@ -902,7 +902,7 @@ coverage-html-stamp: lcov_base.info lcov_test.info touch $@ LCOV += --gcov-tool $(GCOV) -LCOVFLAGS = --no-external +LCOVFLAGS = -q --no-external all_gcno_files = $(shell find . -name '*.gcno' -print) |