diff options
| author | Xavier Clerc <xavier.clerc@inria.fr> | 2012-10-10 09:38:24 +0000 |
|---|---|---|
| committer | Xavier Clerc <xavier.clerc@inria.fr> | 2012-10-10 09:38:24 +0000 |
| commit | 78e80bc087dc74c389631f1114a778e50f87cc93 (patch) | |
| tree | 880e393661e78974c5b75c7923e1497fd1217207 | |
| parent | 8e94d482d758711229f2f05d566775a339f51e78 (diff) | |
PR#5300: verbose parameter should implicitly set classic display
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13000 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | Changes | 1 | ||||
| -rw-r--r-- | ocamlbuild/options.ml | 2 |
2 files changed, 2 insertions, 1 deletions
@@ -40,6 +40,7 @@ OCaml 4.00.2: Bug fixes: - PR#5240: register exception printers for Unix.Unix_error and Dynlink.Error +- PR#5300: verbose parameter should implicitly set classic display - PR#5772: problem with marshaling of mutually-recursive functions diff --git a/ocamlbuild/options.ml b/ocamlbuild/options.ml index f7b2e1168..91db2743d 100644 --- a/ocamlbuild/options.ml +++ b/ocamlbuild/options.ml @@ -141,7 +141,7 @@ let spec = ref ( "-vnum", Unit (fun () -> print_endline Sys.ocaml_version; raise Exit_OK), " Display the version number"; "-quiet", Unit (fun () -> Log.level := 0), " Make as quiet as possible"; - "-verbose", Int (fun i -> Log.level := i + 2), "<level> Set the verbosity level"; + "-verbose", Int (fun i -> Log.classic_display := true; Log.level := i + 2), "<level> Set the verbosity level"; "-documentation", Set show_documentation, " Show rules and flags"; "-log", Set_string log_file_internal, "<file> Set log file"; "-no-log", Unit (fun () -> log_file_internal := ""), " No log file"; |