new target to remove coverage droppings

diff --git a/.bzrignore b/.bzrignore
index a4501f990b08d76c1b92aca888e3fd607124ac53..1bea24fc741470fa49c0a4803388d56664b9c781 100644 (file)
--- a/.bzrignore
+++ b/.bzrignore
@@ -197,3 +197,4 @@ libtests/index.html
 libtests/t-eventdist
 doc/disorder_preferences.5
 doc/disorder_preferences.5.html
 libtests/t-eventdist
 doc/disorder_preferences.5
 doc/disorder_preferences.5.html

+plugins/index.html

diff --git a/Makefile.am b/Makefile.am
index c6ccb6f60bed6740b977e15b785fd28907ecde51..501f344842485420a9bf423a10ba47a6b8131e28 100644 (file)
--- a/Makefile.am
+++ b/Makefile.am
@@ -35,6 +35,11 @@ make-coverage-reports: check
          cd ..;\
        done
 
          cd ..;\
        done
 

+clean-gcov:
+       rm -f */index.html
+       rm -f */*.c.html
+       rm -f */*.gcov
+

 echo-distdir:
        @echo $(distdir)
 
 echo-distdir:
        @echo $(distdir)