X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matita%2Fcomponents%2Fbinaries%2FMakefile.common;h=78733ed391afb90b53d75acc62cc0d30ea3ba228;hb=68e028d053806177e218ee1a5f8778d3011bef83;hp=8f8033dbb9f6ad327f65a43c77f2986b3251c537;hpb=4de2411d2cecf21630f6675f58e64f8ec6de9b60;p=helm.git

diff --git a/matita/components/binaries/Makefile.common b/matita/components/binaries/Makefile.common
index 8f8033dbb..78733ed39 100644
--- a/matita/components/binaries/Makefile.common
+++ b/matita/components/binaries/Makefile.common
@@ -9,7 +9,7 @@ OCAMLOPTIONS = -linkpkg -thread -rectypes -package \"$(REQUIRES)\"
 OCAMLC = $(OCAMLFIND) ocamlc $(OCAMLOPTIONS) 
 OCAMLOPT = $(OCAMLFIND) opt $(OCAMLOPTIONS)
 
-all:
+opt:
 	@echo "  OCAMLBUILD $(EXEC).native" 
 	$(H)ocamlbuild -ocamlc "$(OCAMLC)" -ocamlopt "$(OCAMLOPT)" $(EXEC).native