From: acondolu <andrea.condoluci@unibo.it>
Date: Tue, 11 Jul 2017 13:44:40 +0000 (+0200)
Subject: clean removes *.o files
X-Git-Tag: weak-reduction-separation~58
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=b43eae43cb85e7b20dc5058aae4ada662025f882;p=fireball-separation.git

clean removes *.o files
---

diff --git a/ocaml/Makefile b/ocaml/Makefile
index 46242b1..b44d9c5 100644
--- a/ocaml/Makefile
+++ b/ocaml/Makefile
@@ -26,7 +26,7 @@ test4.out: $(UTILS) lambda4.cmx test.ml
 	$(OCAMLC) -c $<
 
 clean:
-	rm -f *.cm* *.out .depend log
+	rm -f *.cm* *.out *.o .depend log
 
 .depend: *.ml *.mli
 	ocamldep *.ml *.mli > .depend