Fix the coverage on github pages

jvoisin · Jun 25, 2023 · 3ff7b4d · 3ff7b4d
1 parent 87cdb23
commit 3ff7b4d
Showing 1 changed file with 2 additions and 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