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>

diff --git a/src/Makefile.global.in b/src/Makefile.global.in
index d4fed904058dea58d7a9adba41a50b9b66a17ff5..9340d60de58506b44c1cc469c7aa2dc60d8b3192 100644 (file)
--- 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)