diff options
| -rw-r--r-- | ide/coqide.ml | 3 | ||||
| -rw-r--r-- | ide/ideutils.ml | 2 |
2 files changed, 4 insertions, 1 deletions
diff --git a/ide/coqide.ml b/ide/coqide.ml index e6968c51c8..899d0d6cad 100644 --- a/ide/coqide.ml +++ b/ide/coqide.ml @@ -2914,6 +2914,9 @@ let read_coqide_args argv = if coqtop = "" then filter_coqtop prog project_files out args else (output_string stderr "Error: multiple -coqtop options"; exit 1) + | "-debug" :: args -> + Ideutils.debug := true; + filter_coqtop coqtop project_files ("-debug"::out) args | "-f" :: file :: args -> filter_coqtop coqtop ((Minilib.canonical_path_name (Filename.dirname file), diff --git a/ide/ideutils.ml b/ide/ideutils.ml index 71ff87f004..1cf24948e3 100644 --- a/ide/ideutils.ml +++ b/ide/ideutils.ml @@ -29,7 +29,7 @@ let set_location = ref (function s -> failwith "not ready") let pbar = GRange.progress_bar ~pulse_step:0.2 () -let debug = Flags.debug +let debug = ref (false) let prerr_endline s = if !debug then try prerr_endline s;flush stderr with _ -> () |