diff options
Diffstat (limited to 'asmcomp/asmlink.ml')
-rw-r--r-- | asmcomp/asmlink.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/asmcomp/asmlink.ml b/asmcomp/asmlink.ml index d1398a752c..e72db146ed 100644 --- a/asmcomp/asmlink.ml +++ b/asmcomp/asmlink.ml @@ -258,7 +258,7 @@ let call_linker_shared file_list output_name = let cmd = match Config.system with | "mingw" | "win32" | "cygwin" -> Printf.sprintf - "flexlink -chain %s -o %s %s %s %s %s %s" + "flexlink -merge-manifest -chain %s -o %s %s %s %s %s %s" (match Config.system with | "mingw" -> "mingw" | "win32" -> "msvc" @@ -361,7 +361,7 @@ let call_linker file_list startup_file output_name = (Filename.quote startup_file) (Ccomp.quote_files (List.rev file_list)) in if Ccomp.command cmd <> 0 then raise(Error Linking_error) - | ("msvc",_) -> + | (("win32"|"mingw"|"cygwin"), _) when !Clflags.output_c_object -> let cmd = Printf.sprintf "%s /out:%s %s %s" Config.native_partial_linker |