From d6ecad812f981e6ea611c1022ce7540830393a36 Mon Sep 17 00:00:00 2001 From: Tom Lane Date: Fri, 11 Aug 2017 17:39:27 -0400 Subject: [PATCH] Be more thorough about cleaning out gcov litter. At least on my machine, a run with code coverage enabled produces some ".gcov" files whose names begin with ".". "rm -f *.gcov" fails to match those, so they don't get cleaned up by "make clean". Fix it. --- src/Makefile.global.in | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Makefile.global.in b/src/Makefile.global.in index a26075c06e..e8b3a519cb 100644 --- a/src/Makefile.global.in +++ b/src/Makefile.global.in @@ -878,7 +878,7 @@ ifeq ($(enable_coverage), yes) gcda_files := $(wildcard *.gcda) lcov.info: $(gcda_files) - rm -f *.gcov + rm -f *.gcov .*.gcov $(if $^,$(LCOV) -d . -c -o $@ $(LCOVFLAGS) --gcov-tool $(GCOV)) %.c.gcov: %.gcda | lcov.info @@ -899,7 +899,7 @@ clean distclean maintainer-clean: clean-coverage .PHONY: clean-coverage clean-coverage: rm -rf coverage - rm -f *.gcda *.gcno lcov.info *.gcov *.gcov.out + rm -f *.gcda *.gcno lcov.info *.gcov .*.gcov *.gcov.out # User-callable target to reset counts between test runs -- 2.40.0