From: Stefano Zacchiroli Date: Tue, 27 Sep 2005 16:33:28 +0000 (+0000) Subject: removed .annot files (files containing type annotations generated with ocamlc -dtypes) X-Git-Tag: V_0_7_2_3~291 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=38272d3c6e667ca951d630a728a0aca968536215;p=helm.git removed .annot files (files containing type annotations generated with ocamlc -dtypes) --- diff --git a/helm/ocaml/Makefile.common.in b/helm/ocaml/Makefile.common.in index 6b7386466..501a411da 100644 --- a/helm/ocaml/Makefile.common.in +++ b/helm/ocaml/Makefile.common.in @@ -81,7 +81,7 @@ $(IMPLEMENTATION_FILES:%.ml=%.cmo): $(LIBRARIES) $(IMPLEMENTATION_FILES:%.ml=%.cmx): $(LIBRARIES_OPT) clean: - rm -f *.cm[ioax] *.cmxa *.o *.a $(EXTRA_OBJECTS_TO_CLEAN) + rm -f *.cm[ioax] *.cmxa *.o *.a *.annot $(EXTRA_OBJECTS_TO_CLEAN) if [ -f test ]; then rm -f test; else true; fi if [ -f test.opt ]; then rm -f test.opt; else true; fi