diff --git a/docs/hacking.html.in b/docs/hacking.html.in index f99d143b7b828da55408005ddcc6fd9d96b1934b..902d05430f6b3345163cbb708cbc5709f8157a2b 100644 --- a/docs/hacking.html.in +++ b/docs/hacking.html.in @@ -1412,5 +1412,34 @@ int foo() in the same way, but still make sure they get reviewed if non-trivial. +
+ Code coverage HTML reports can be generated with: +
+ ++ make coverage ++ +
+ Reports will be generated in the cov/
directory. Point a
+ web browser at cov/index.html
for the full report.
+
+ The make coverage
target is provided by gnulib
.
+ It is a convenience helper for calling the following 3 targets in order.
+ It may be useful to occasionally call these directly.
+
+
make init-coverage
: run make clean
and
+ remove all code coverage counter files (*.gcno, etc.)make build-coverage
: run make
and
+ make check
with CFLAGS
filled in with
+ necessary coverage flagsmake gen-coverage
: generate the HTML report