diff options
author | Nicolás Ojeda Bär <n.oje.bar@gmail.com> | 2018-06-15 11:47:14 +0200 |
---|---|---|
committer | Nicolás Ojeda Bär <n.oje.bar@gmail.com> | 2018-10-10 14:54:47 +0200 |
commit | 223f2e2ffad846edbd4e0fb71b195e0d01a56e30 (patch) | |
tree | b781c85e1e35775b38ac9c5d20527f1c3cc9c50a /bytecomp | |
parent | 409fe6d1e6b0a4ec881b1ca18faaa0f63c3e281b (diff) | |
download | ocaml-223f2e2ffad846edbd4e0fb71b195e0d01a56e30.tar.gz |
Add Misc.split_path_contents
Diffstat (limited to 'bytecomp')
-rw-r--r-- | bytecomp/dll.ml | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/bytecomp/dll.ml b/bytecomp/dll.ml index 671dbee091..fccb789eef 100644 --- a/bytecomp/dll.ml +++ b/bytecomp/dll.ml @@ -133,16 +133,11 @@ let ld_conf_contents () = (* Split the CAML_LD_LIBRARY_PATH environment variable and return the corresponding list of directories. *) let ld_library_path_contents () = - let path_separator = - match Sys.os_type with - | "Unix" | "Cygwin" -> ':' - | "Win32" -> ';' - | _ -> assert false in match Sys.getenv "CAML_LD_LIBRARY_PATH" with | exception Not_found -> [] | s -> - String.split_on_char path_separator s + Misc.split_path_contents s let split_dll_path path = String.split_on_char '\000' path |