commit 3ff7b4dd70ef34fe8ccd64ebfee5d340445ac323
parent 87cdb231528847386c8d5408e252f7afec52c6a6
Author: jvoisin <julien.voisin@dustri.org>
Date: Sun, 25 Jun 2023 18:39:12 +0200
Fix the coverage on github pages
Diffstat:
1 file changed, 2 insertions(+), 0 deletions(-)
diff --git a/tests/Makefile b/tests/Makefile
@@ -50,6 +50,8 @@ clang: clean all
all: $(TARGETS) run
coverage: CFLAGS += -fprofile-arcs -ftest-coverage
+coverage: CC=../x86_64-linux-musl-native/bin/gcc
+coverage: GCOV=../x86_64-linux-musl-native/bin/gcov
coverage: all
$(GCOV) *.c
lcov --capture --directory . --output-file coverage.info