diff --git a/src/kernel_services/plugin_entry_points/dynamic.ml b/src/kernel_services/plugin_entry_points/dynamic.ml index 4781f03369da26a445965716513b24c46feaf225..6867443c7790a77c9a04964c89b2d25de4663c9f 100644 --- a/src/kernel_services/plugin_entry_points/dynamic.ml +++ b/src/kernel_services/plugin_entry_points/dynamic.ml @@ -246,7 +246,7 @@ let load_script base = else Format.fprintf fmt "%s -c" Fc_config.ocamlc ; Format.fprintf fmt - " -g %s -warn-error a -I %s" Fc_config.ocaml_wflags (Fc_config.libdir :> string) ; + " -g %s -w -70 -warn-error a -I %s" Fc_config.ocaml_wflags (Fc_config.libdir :> string) ; if !Fc_config.is_gui && Fc_config.lablgtk <> "" then Format.fprintf fmt " -package %s" Fc_config.lablgtk; List.iter (fun p -> Format.fprintf fmt " -I %s" p) !load_path ;