From 38272d3c6e667ca951d630a728a0aca968536215 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Tue, 27 Sep 2005 16:33:28 +0000 Subject: [PATCH] removed .annot files (files containing type annotations generated with ocamlc -dtypes) --- helm/ocaml/Makefile.common.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.39.2