Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xbin/build-packages6
1 files changed, 4 insertions, 2 deletions
diff --git a/bin/build-packages b/bin/build-packages
index e66afdb..f064556 100755
--- a/bin/build-packages
+++ b/bin/build-packages
@@ -216,11 +216,13 @@ while [ ${count} -ne 0 ]; do
done
if ! ${success}; then
- ssh \
+ while ! ssh \
-i "${master_build_server_identity}" \
-p "${master_build_server_port}" \
"${master_build_server_user}@${master_build_server}" \
- 'return-assignment' "${package}" "${git_revision}" "${mod_git_revision}" "${repository}" 'ERROR'
+ 'return-assignment' "${package}" "${git_revision}" "${mod_git_revision}" "${repository}" 'ERROR'; do
+ sleep $[15+$RANDOM%30]
+ done
if ${exit_after_failure}; then
>&2 echo 'Build failed, exiting now'
exit