From a2c695deef4043ec197ff4b55497294a51b1ca93 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Thu, 1 Jan 1970 00:00:00 +0000 Subject: [PATCH] Remove *.annot files when making clean. --- Makefile.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile.in b/Makefile.in index 1eda991..87d131b 100644 --- a/Makefile.in +++ b/Makefile.in @@ -34,7 +34,7 @@ all opt depend install: clean: for d in . $(SUBDIRS); do \ (cd $$d; rm -f *.cmi *.cmo *.cmx *.cma *.cmxa *.o *.a \ - *.so *.opt *~ *.dll *.exe core); \ + *.so *.opt *~ *.dll *.exe *.annot core); \ done rm -f virt-df/virt-df -- 1.8.3.1