From 19fcc292ef1a6ce916d12f5735537592f06241f3 Mon Sep 17 00:00:00 2001
From: Fabrice Le Fessant <fabrice.le_fessant@origin-labs.com>
Date: Mon, 23 Nov 2020 22:52:36 +0100
Subject: [PATCH] add -f to curl to force wget to fail on error

---
 src/drom_lib/misc.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/drom_lib/misc.ml b/src/drom_lib/misc.ml
index f7bc3602..0509137f 100644
--- a/src/drom_lib/misc.ml
+++ b/src/drom_lib/misc.ml
@@ -161,6 +161,7 @@ let wget ~url ~output =
   if not (Sys.file_exists dirname) then EzFile.make_dir ~p:true dirname;
   call
     [| "curl";
+       "-f";
        "--write-out";
        "%{http_code}\\n";
        "--retry";