Remove the cov-int dir when cleaning.

diff --git a/Makefile b/Makefile
index 4e834bf921702af8938ad963193f8beca179cc4a..46afd8e0d9d4039dbc41e20cf2959d3969c2da46 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -39,6 +39,7 @@ install:
        for x in ${SUBDIRS}; do cd $$x; ${MAKE} $@; cd ..; done
 
 clean:
+       rm -rf cov-int
        for x in ${SUBDIRS} test; do cd $$x; ${MAKE} $@; cd ..; done
 
 distclean: clean