From 86086dc08714b47d99fd2b4892bd888d977652d7 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Tue, 24 Jan 2023 15:59:58 +0000 Subject: [PATCH] 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. --- Goalfile | 6 ++++++ 1 file changed, 6 insertions(+) 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 = [ -- 1.8.3.1