git.annexia.org
/
goals.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
156de1e
)
fedora: Increase timeout for koji wait-repo commands.
author
Richard W.M. Jones
<rjones@redhat.com>
Sat, 4 Apr 2020 09:10:54 +0000
(10:10 +0100)
committer
Richard W.M. Jones
<rjones@redhat.com>
Sat, 4 Apr 2020 09:11:58 +0000
(10:11 +0100)
And if it fails because of a transient problem, retry.
Thanks: Miro HronĨok
stdlib/fedora.gl
patch
|
blob
|
history
diff --git
a/stdlib/fedora.gl
b/stdlib/fedora.gl
index
2bcaec1
..
8bcc09a
100644
(file)
--- 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.