commit bb3d31659b6e66ec678862a6e6532d67b7d6466c
author Gilles Peskine <Gilles.Peskine@arm.com> Thu Dec 01 17:41:36 2022 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> Tue Dec 13 18:44:14 2022 +0100
tree 53531005801e3641af5049a716728fd2f01df8b2
parent 26aae470428f6d48277584aca6761174ebc699c7

You need --coverage when linking as well

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>

Makefile

diff --git a/Makefile b/Makefile
index e5dddba..5e0275a 100644
--- a/Makefile
+++ b/Makefile
@@ -100,8 +100,9 @@
 test: check
 
 ifndef WINDOWS
-# note: for coverage testing, build with:
-# make CFLAGS='--coverage -g3 -O0'
+# Note: for coverage testing, build with:
+#     make CFLAGS='--coverage -g3 -O0' LDFLAGS='--coverage -g3 -O0'
+# For the reference coverage measurement, see tests/scripts/basic-build-test.sh
 covtest:
 	$(MAKE) check
 	programs/test/selftest