fix

diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in
index 4d558519fd9da84e79585e9585027f6e278659af..c489fe33d8e0b3f5ca89600683fb99fab642bff3 100644 (file)
--- a/helm/matita/Makefile.in
+++ b/helm/matita/Makefile.in
@@ -27,7 +27,7 @@ OCAMLC = $(OCAMLFIND) ocamlc $(OCAMLC_FLAGS) $(OCAML_DEBUG_FLAGS)
 OCAMLOPT = $(OCAMLFIND) opt $(OCAMLC_FLAGS)
 OCAMLDEP = $(OCAMLFIND) ocamldep $(OCAML_FLAGS)
 
-MATITA_FLAGS =
+MATITA_FLAGS = -noprofile
 NODB=false
 ifeq ($(NODB),true)
        MATITA_FLAGS += -nodb