diff options
Diffstat (limited to 'bytecomp/bytepackager.ml')
-rw-r--r-- | bytecomp/bytepackager.ml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/bytecomp/bytepackager.ml b/bytecomp/bytepackager.ml index 449d423252..4ff00f2967 100644 --- a/bytecomp/bytepackager.ml +++ b/bytecomp/bytepackager.ml @@ -272,8 +272,9 @@ let package_object_files ~ppf_dump files targetfile targetname coercion = build_global_target ~ppf_dump oc targetname state components coercion in let pos_debug = pos_out oc in if !Clflags.debug && state.events <> [] then begin - output_value oc (List.rev state.events); - output_value oc (String.Set.elements state.debug_dirs); + Marshal.(to_channel oc (List.rev state.events) [Compression]); + Marshal.(to_channel oc (String.Set.elements state.debug_dirs) + [Compression]); end; let force_link = List.exists (function |