]> matita.cs.unibo.it Git - fireball-separation.git/commitdiff
clean removes *.o files
authoracondolu <andrea.condoluci@unibo.it>
Tue, 11 Jul 2017 13:44:40 +0000 (15:44 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Tue, 11 Jul 2017 13:44:40 +0000 (15:44 +0200)
ocaml/Makefile

index 46242b1546576e0a85503491d3e874b5f42c3ba1..b44d9c51460cc62e1f8c130c185c59d5d2a12c01 100644 (file)
@@ -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