diff options
| -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"; |