diff options
author | Tom Kelly <ctk21@cl.cam.ac.uk> | 2021-10-01 10:40:48 +0100 |
---|---|---|
committer | Tom Kelly <ctk21@cl.cam.ac.uk> | 2021-10-01 10:40:48 +0100 |
commit | 00da680acd07ef216a7faf99d51e7d9548b40def (patch) | |
tree | 68e219763b50b3af52f9fdb7981d6e8599189faa /bytecomp | |
parent | 914c43dc6056d2290a33a04107e85b24da1b4d02 (diff) | |
parent | 687a2e8d82790e33ce2470829877686dedf84080 (diff) | |
download | ocaml-00da680acd07ef216a7faf99d51e7d9548b40def.tar.gz |
Merge commit '687a2e8d82790e33ce2470829877686dedf84080' into parallel_minor_gc_4_13
Diffstat (limited to 'bytecomp')
-rw-r--r-- | bytecomp/bytelink.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bytecomp/bytelink.ml b/bytecomp/bytelink.ml index fd5bd490aa..350e6db78a 100644 --- a/bytecomp/bytelink.ml +++ b/bytecomp/bytelink.ml @@ -562,7 +562,7 @@ let link_bytecode_as_c tolink outfile with_main = \n}\ \n#endif\n"; ); - if !Clflags.debug then + if not with_main && !Clflags.debug then output_cds_file ((Filename.chop_extension outfile) ^ ".cds") (* Build a custom runtime *) |