diff options
author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-04-14 19:19:46 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-04-14 19:19:46 +0200 |
commit | c8e41bade529998c4e66975c88fabf3ac47d7078 (patch) | |
tree | 5adc30a11e9e538c8087ac8086c299635dfb8284 /utils/ccomp.ml | |
parent | ec01245b61e5f41608986cfb11ee010a5f96ac0b (diff) | |
download | ocaml-c8e41bade529998c4e66975c88fabf3ac47d7078.tar.gz |
Stop calling ranlib on created / installed libraries (#11184)
`ranlib` seems unnecessary if a POSIX-compliant `ar` is used and time stamps are preserved when a `.a` file is installed.
Diffstat (limited to 'utils/ccomp.ml')
-rw-r--r-- | utils/ccomp.ml | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/utils/ccomp.ml b/utils/ccomp.ml index 955968d1cd..d23c3f2baa 100644 --- a/utils/ccomp.ml +++ b/utils/ccomp.ml @@ -140,12 +140,8 @@ let create_archive archive file_list = quoted_archive (quote_files file_list)) | _ -> assert(String.length Config.ar > 0); - let r1 = - command(Printf.sprintf "%s rc %s %s" - Config.ar quoted_archive (quote_files file_list)) in - if r1 <> 0 || String.length Config.ranlib = 0 - then r1 - else command(Config.ranlib ^ " " ^ quoted_archive) + command(Printf.sprintf "%s rc %s %s" + Config.ar quoted_archive (quote_files file_list)) let expand_libname cclibs = cclibs |> List.map (fun cclib -> |