swrup/mte
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Browse source
This commit is contained in:
swrup 2026-02-17 06:14:03 +01:00
parent 181abda0d0
commit aa85b5b01d
1 changed files with 10 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

11
tools/gen_signatures_registry.ml
View file

@ -59,7 +59,16 @@ let registry_file = "registry.rec"
let download () = let download () =
let open Bos in let open Bos in
let res = 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 in
match res with match res with
| Error (`Msg s) -> Fmt.failwith "download failure: %s" s | Error (`Msg s) -> Fmt.failwith "download failure: %s" s