diff --git a/tools/gen_signatures_registry.ml b/tools/gen_signatures_registry.ml index 3d3a4191..dc6a8ede 100644 --- a/tools/gen_signatures_registry.ml +++ b/tools/gen_signatures_registry.ml @@ -59,7 +59,16 @@ let registry_file = "registry.rec" let download () = let open Bos in let res = - OS.Cmd.run Cmd.(v "curl" % "-s" % "-o" % registry_file % "-X" % "GET" % url) + OS.Cmd.run + Cmd.( + v "curl" + % "--silent" + % "--show-error" + % "-o" + % registry_file + % "-X" + % "GET" + % url) in match res with | Error (`Msg s) -> Fmt.failwith "download failure: %s" s