Fix the coverage on github pages

jvoisin · Jun 25, 2023 · 5a54019 · 5a54019
1 parent fc127b0
commit 5a54019
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/.github/workflows/testsuite.yaml b/.github/workflows/testsuite.yaml
@@ -17,7 +17,7 @@ jobs:
         run: tar xzf ./x86_64-linux-musl-native.tgz
       - name: Running the testsuite
         run: make -C gcc | grep -zqv FAIL
-  gcc:
+  clang:
     runs-on: ubuntu-latest
     steps:
       - name: Checking out the code

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