From 3ff7b4dd70ef34fe8ccd64ebfee5d340445ac323 Mon Sep 17 00:00:00 2001
From: jvoisin
Date: Sun, 25 Jun 2023 18:39:12 +0200
Subject: Fix the coverage on github pages

---
 tests/Makefile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/tests/Makefile b/tests/Makefile
index f6946f9..4cae588 100644
--- 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
-- 
cgit v1.3