diff options
| -rwxr-xr-x | bin/build-packages | 6 |
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 |