Remove coverage details view

petere · petere · commit c01123630db1 · 2017-10-06T11:39:46.000-04:00
This is only useful if we name the different tests, which we don't do at
the moment.

Reviewed-by: Michael Paquier &lt;michael.paquier@gmail.com&gt;
diff --git 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 = --show-details --legend
+GENHTML_FLAGS = --legend
 GENHTML_TITLE = PostgreSQL $(VERSION)
 
 coverage-html-stamp: lcov_base.info lcov_test.info
