From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Fri, 18 Nov 2005 17:25:27 +0000 (+0000)
Subject: fix
X-Git-Tag: V_0_7_2_3~34
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=ec57b172235af36adc9bf709bf6488edd4ec8544

fix
---

diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in
index 4d558519f..c489fe33d 100644
--- 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