diff options
| -rw-r--r-- | configure.ml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/configure.ml b/configure.ml index 92d71813c1..68fe7e1211 100644 --- a/configure.ml +++ b/configure.ml @@ -396,8 +396,7 @@ let coq_annotate_flag = then if program_in_path "ocamlmerlin" then "-bin-annot" else "-dtypes" else "" -let cflags = "-Wall -Wno-unused" - +let cflags = "-Wall -Wno-unused -g " ^ (if !Prefs.debug then "-O1" else "-O2") (** * Architecture *) |