From: Richard W.M. Jones Date: Tue, 24 Jan 2023 15:59:58 +0000 (+0000) Subject: Set new %fedora-retry-failed flag X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=86086dc08714b47d99fd2b4892bd888d977652d7;hp=6cba1915242ef4d8c4d77b3da35790f377f534ef;p=fedora-ocaml-rebuild.git Set new %fedora-retry-failed flag Start this off as 1 because I want to retry some failed builds. A safer default would be 0. --- diff --git a/Goalfile b/Goalfile index 4eb6c5e..fd3eb0d 100644 --- a/Goalfile +++ b/Goalfile @@ -12,6 +12,12 @@ let fedora-tag = "f38-build-side-62208" # package has been rebuilt. let fedora-rebuild-name = "Rebuild OCaml packages for F38" +# %fedora-retry-failed: +# If set to 1 then failed builds are retried automatically. +# If set to 0 then failed builds must be manually restarted. +# Normally you want this to be 0. +let fedora-retry-failed = "1" + # Packages that are ignored, which means they are treated as if # they have been rebuilt. let fedora-ignored = [