X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Makefile.am;h=4eab72af07f9c6052cc61e64394ae0bb6b66a6d6;hb=c9f716683d1d4302f026764effc17554c93a8c9f;hp=46de7fb330db945cdeb4b7451192fe96b5e80acf;hpb=429ebf217bd72fc28de6816bbbfeaf9ce006ecd9;p=openvswitch

diff --git a/Makefile.am b/Makefile.am
index 46de7fb3..4eab72af 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -29,6 +29,7 @@ BUILT_SOURCES =
 CLEANFILES =
 CLEAN_LOCAL =
 DISTCLEANFILES =
+PYCOV_CLEAN_FILES = build-aux/check-structs,cover
 EXTRA_DIST = \
 	CodingStyle \
 	DESIGN \
@@ -115,6 +116,11 @@ SUFFIXES += .in
 	fi
 	mv $@.tmp $@
 
+.PHONY: clean-pycov
+clean-pycov:
+	cd $(srcdir) && rm -f $(PYCOV_CLEAN_FILES)
+CLEAN_LOCAL += clean-pycov
+
 # If we're checked out from a Git repository, make sure that every
 # file that is in Git is distributed.
 ALL_LOCAL += dist-hook-git