From cda1f0160b96e57a0037085f33aa2d440453a30b Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Sat, 4 Apr 2020 10:10:54 +0100 Subject: [PATCH] fedora: Increase timeout for koji wait-repo commands. MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit And if it fails because of a transient problem, retry. Thanks: Miro Hrončok --- stdlib/fedora.gl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/stdlib/fedora.gl b/stdlib/fedora.gl index 2bcaec1..8bcc09a 100644 --- a/stdlib/fedora.gl +++ b/stdlib/fedora.gl @@ -103,7 +103,7 @@ is-koji-built ("%pkg") : # before we can start the new build. for p in %<; do nvr=$(koji --quiet latest-build %fedora-tag $p | awk '{print $1}') - koji wait-repo %fedora-tag --build=$nvr + while ! koji wait-repo --timeout=10000 %fedora-tag --build=$nvr; do sleep 1m; done done # Make sure the local directory is up to date. -- 1.8.3.1