From 1c7b88ee66bc814b4e1ba0c2866a0c7ff0b9e989 Mon Sep 17 00:00:00 2001 From: Jiri Denemark Date: Tue, 13 Aug 2019 17:42:26 +0200 Subject: [PATCH] Revert "docs: hacking: Add 'Code coverage reports' section" This reverts commit 47cbc929870aaff6b01ba24cd028b8787a1ae9a4. The section is no longer correct when the patch switching to gnulib's make coverage was reverted. Signed-off-by: Jiri Denemark Acked-By: Eric Blake --- docs/hacking.html.in | 29 ----------------------------- 1 file changed, 29 deletions(-) diff --git a/docs/hacking.html.in b/docs/hacking.html.in index 859e33a874..90376968c3 100644 --- a/docs/hacking.html.in +++ b/docs/hacking.html.in @@ -1473,34 +1473,5 @@ int foo() in the same way, but still make sure they get reviewed if non-trivial. -

Code coverage reports

- -

- 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 flags
  • -
  • make gen-coverage: generate the HTML report
  • -
-

-- 2.47.2