test: curl --fail; use KUDOs

2026-02-21 23:40:58 +01:00 · 2026-02-21 23:40:58 +01:00 · 110e7ee1b4
commit 110e7ee1b4
parent 283ad65a10
6 changed files with 34 additions and 24 deletions
--- a/tools/gen_registry_files.ml
+++ b/tools/gen_registry_files.ml
@ -41,7 +41,15 @@ let download ~tmp ~url =
  let res =
    OS.Cmd.run
      Cmd.(
-        v "curl" % "--silent" % "--show-error" % "-o" % tmp % "-X" % "GET" % url)
+        v "curl"
+        % "--silent"
+        % "--show-error"
+        % "--fail"
+        % "-o"
+        % tmp
+        % "-X"
+        % "GET"
+        % url)
  in
  match res with
  | Error (`Msg s) -> Fmt.failwith "download failure: %s" s