diff -uNr -x .cvsignore -x Entries -x Repository -x Root config/configure.in config/configure.in --- config/configure.in 2010-09-01 20:59:37.000000000 +0200 +++ config/configure.in 2010-09-05 11:25:23.000000000 +0200 @@ -704,8 +704,8 @@ OCAMLMKTOP="$OCAMLMKTOP -ccopt -mno-cygwin" fi if test "$DEBUG" = "yes"; then - OCAMLC="$OCAMLC -g" - OCAMLOPT="$OCAMLOPT -g" + OCAMLC="$OCAMLC -g -inline 0" + OCAMLOPT="$OCAMLOPT -g -ggdb -O0" fi echo -e "\n----------------------------------"