From d4c8e67be060932dde2225995126652e59eeda15 Mon Sep 17 00:00:00 2001 From: Iustin Pop Date: Tue, 7 Jan 2025 21:20:15 +0100 Subject: [PATCH] Change coverage file to align better with vscode plugin The coverage gutters plugin expects, by default, `lcov.info`, so let's use that to require less customisation. --- .gitignore | 2 +- Makefile | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/.gitignore b/.gitignore index 0b038b1..548d163 100644 --- a/.gitignore +++ b/.gitignore @@ -14,4 +14,4 @@ /mt.gcno /stinit.gcda /stinit.gcno -/coverage.info +/lcov.info diff --git a/Makefile b/Makefile index 3752cb7..8c4ae4d 100644 --- a/Makefile +++ b/Makefile @@ -94,8 +94,8 @@ check: $(PROGS) coverage: clean $(MAKE) CFLAGS=-coverage $(MAKE) check - lcov --capture --directory . --no-external --output-file coverage.info - genhtml coverage.info --output-directory out + lcov --capture --directory . --no-external --output-file lcov.info + genhtml lcov.info --output-directory out release-tag: