From: Luca Padovani <luca.padovani@unito.it>
Date: Sat, 21 Feb 2004 09:52:24 +0000 (+0000)
Subject: * fixed profiling flags
X-Git-Tag: v0_0_4~121
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=9df9d23fa83cab169e5219aa40e0e50ab1dbb7d3;p=helm.git

* fixed profiling flags
---

diff --git a/helm/DEVEL/mathml_editor/configure.ac b/helm/DEVEL/mathml_editor/configure.ac
index 74115f317..25f607834 100644
--- a/helm/DEVEL/mathml_editor/configure.ac
+++ b/helm/DEVEL/mathml_editor/configure.ac
@@ -166,8 +166,8 @@ AC_CHECK_FILE(/usr/include/caml/mlvalues.h,
 AC_SUBST(OCAML_INCLUDE_DIR)
 
 if test $profile = yes; then
-	CFLAFS="$CFLAGS -p"
-	CXXFLAGS="$CXXFLAGS -p"
+	CFLAFS="$CFLAGS -O0 -pg"
+	CXXFLAGS="$CXXFLAGS -O0 -pg"
 	AC_DEFINE(ENABLE_PROFILE,,[Define to 1 to let the widget collect some information for profiling purposes])
 fi