diff options
| -rw-r--r-- | asmcomp/asmlink.ml | 1 | ||||
| -rw-r--r-- | bytecomp/bytelink.ml | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/asmcomp/asmlink.ml b/asmcomp/asmlink.ml index 0bc18350a..80eeaae06 100644 --- a/asmcomp/asmlink.ml +++ b/asmcomp/asmlink.ml @@ -234,6 +234,7 @@ let call_linker file_list startup_file = | _ -> if not !Clflags.output_c_object then let rpath = + if Config.bytecomp_c_rpath = "" then "" else String.concat ":" (List.filter ((<>) "") (!Clflags.dllpaths @ diff --git a/bytecomp/bytelink.ml b/bytecomp/bytelink.ml index 3028efb43..c0cffe6a1 100644 --- a/bytecomp/bytelink.ml +++ b/bytecomp/bytelink.ml @@ -406,6 +406,7 @@ let build_custom_runtime prim_name exec_name = match Sys.os_type with "Unix" | "Cygwin" -> let rpath = + if Config.bytecomp_c_rpath = "" then "" else String.concat ":" (List.filter ((<>) "") (!Clflags.dllpaths @ |