]> matita.cs.unibo.it Git - helm.git/commitdiff
* fixed profiling flags
authorLuca Padovani <luca.padovani@unito.it>
Sat, 21 Feb 2004 09:52:24 +0000 (09:52 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Sat, 21 Feb 2004 09:52:24 +0000 (09:52 +0000)
helm/DEVEL/mathml_editor/configure.ac

index 74115f317c79228322f7742c7272b7b3b5b2d6df..25f60783401a792bb53ff6e85c98767b985b2cd5 100644 (file)
@@ -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