diff options
| author | jvoisin | 2023-06-25 18:39:12 +0200 |
|---|---|---|
| committer | jvoisin | 2023-06-25 18:46:56 +0200 |
| commit | 3ff7b4dd70ef34fe8ccd64ebfee5d340445ac323 (patch) | |
| tree | d6b6fe9395d5a2f5aa32d395680e1d2cedf974aa | |
| parent | 87cdb231528847386c8d5408e252f7afec52c6a6 (diff) | |
Fix the coverage on github pages
Diffstat (limited to '')
| -rw-r--r-- | tests/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
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 | |||
| 50 | all: $(TARGETS) run | 50 | all: $(TARGETS) run |
| 51 | 51 | ||
| 52 | coverage: CFLAGS += -fprofile-arcs -ftest-coverage | 52 | coverage: CFLAGS += -fprofile-arcs -ftest-coverage |
| 53 | coverage: CC=../x86_64-linux-musl-native/bin/gcc | ||
| 54 | coverage: GCOV=../x86_64-linux-musl-native/bin/gcov | ||
| 53 | coverage: all | 55 | coverage: all |
| 54 | $(GCOV) *.c | 56 | $(GCOV) *.c |
| 55 | lcov --capture --directory . --output-file coverage.info | 57 | lcov --capture --directory . --output-file coverage.info |