]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/Makefile.common.in
ocaml 3.09 transition
[helm.git] / helm / ocaml / Makefile.common.in
index 6b7386466e0475b134ddb94a47d8f46dfea7b6df..501a411dae2d96e30fb21ebd78c0fad67b70f763 100644 (file)
@@ -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