1 files changed, 1 insertions, 0 deletions
diff --git a/configure b/configure
index e0b1ea7d..df031c1e 100755
--- a/configure
+++ b/configure
@@ -661,6 +661,7 @@ SHAREDIR=$sharedir
 COQDEVDIR=$coqdevdir
 OCAML_NATIVE_COMP=$ocaml_native_comp
 OCAML_OPT_COMP=$ocaml_opt_comp
+OCAML_LM_PROF=false
 MENHIR_DIR=$menhir_dir
 COMPFLAGS=-bin-annot
 EOF