]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/helena/Makefile.common
- final commit for helena 0.8.3
[helm.git] / helm / software / helena / Makefile.common
index a601c4d8871a41ff615c66df003420fe7c97c0de..1db6ea34085d002b29f9bdfcbfb1852ee5cdb71c 100644 (file)
@@ -73,7 +73,7 @@ $(MAIN).opt: $(O_OBJECTS)
        $(H)$(OCAMLOPT) -o $(MAIN).opt $(CMXS)
 
 $(MAIN).byte: $(B_OBJECTS)
-       @echo "  OCAMC -o $(MAIN).byte"
+       @echo "  OCAMLC -o $(MAIN).byte"
        $(H)$(OCAMLC) -o $(MAIN).byte $(CMOS)
 
 .depend.opt: $(SOURCES)