diff options
Diffstat (limited to 'driver/main.ml')
| -rw-r--r-- | driver/main.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/driver/main.ml b/driver/main.ml index cae487b8d1..9c06e6817d 100644 --- a/driver/main.ml +++ b/driver/main.ml @@ -99,6 +99,7 @@ module Options = Main_args.Make_bytecomp_options (struct let _dllib s = dllibs := Misc.rev_split_words s @ !dllibs let _dllpath s = dllpaths := !dllpaths @ [s] let _g = set debug + let _help_warnings = Warnings.help_warnings let _i () = print_types := true; compile_only := true let _I s = include_dirs := s :: !include_dirs let _impl = impl |