chiark / gitweb /
Set resource limits on the server to prevent more than FD_SETSIZE
[disorder] / Makefile.am
index c6ccb6f..501f344 100644 (file)
@@ -35,6 +35,11 @@ make-coverage-reports: check
          cd ..;\
        done
 
+clean-gcov:
+       rm -f */index.html
+       rm -f */*.c.html
+       rm -f */*.gcov
+
 echo-distdir:
        @echo $(distdir)