From ad24ace39ab1da4d3799e1dc73c9d0ccf77616d2 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Mon, 17 Sep 2012 20:37:06 +0000
Subject: [PATCH] -also exclude perf

---
 contrib/coverage.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/contrib/coverage.sh b/contrib/coverage.sh
index b53a38282..dd6a6ab53 100755
--- a/contrib/coverage.sh
+++ b/contrib/coverage.sh
@@ -2,7 +2,7 @@
 # make sure configure was run with coverage enabled...
 lcov --directory . --zerocounters
 make check
-rm `find * -name "test_*.gc??"`
+rm `find * -name "test_*.gc??"` `find * -name "perf_*.gc??"`
 for n in `find * -name "*.gc??" | grep libs`
 do
   cd `dirname $n`
-- 
2.25.1