# HG changeset patch # User Mike Becker # Date 1703944686 -3600 # Node ID 7ca8cf155489ce6bb1912997004846f1f75e28b6 # Parent 74d777455e96595c67d9efc94c52394e5053383a add command to remove outdated coverage data diff -r 74d777455e96 -r 7ca8cf155489 Makefile --- a/Makefile Sat Dec 30 14:32:42 2023 +0100 +++ b/Makefile Sat Dec 30 14:58:06 2023 +0100 @@ -57,6 +57,8 @@ @cd src && $(MAKE) static check: all + $(RMFILE) $(build_dir)/*.gcda + $(RMFILE) $(build_dir)/tests/*.gcda $(build_dir)/tests/ucxtest check-coverage: FORCE