diff options
author | Erich Eckner <git@eckner.net> | 2017-05-17 15:33:20 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2017-05-17 15:33:20 +0200 |
commit | a9987f2b36a5c3fcfe34bd4410bbb47e0e661ce3 (patch) | |
tree | d0f503ce151357c1013dca080c228215d81b68a6 /bin/build-packages | |
parent | ede1fc7cc051a97204df77b8ad087ad8d8c59299 (diff) | |
download | builder-a9987f2b36a5c3fcfe34bd4410bbb47e0e661ce3.tar.xz |
bin/build-packages: bugfix
Diffstat (limited to 'bin/build-packages')
-rwxr-xr-x | bin/build-packages | 16 |
1 files changed, 10 insertions, 6 deletions
diff --git a/bin/build-packages b/bin/build-packages index 7e09a65..985c59a 100755 --- a/bin/build-packages +++ b/bin/build-packages @@ -111,13 +111,17 @@ while [ ${count} -ne 0 ]; do ls -1 *.pkg.tar.xz | \ xargs -rn1 gpg --local-user="${package_key}" --detach-sign tar -c 'package.tar' *.pkg.tar.xz{,.sig} - 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}" \ - < 'package.tar'; do + while true; do + 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}" \ + < 'package.tar' case $? in + 0; + break + ;; 1) # 'return-assignment' was running already sleep $[15+$RANDOM%30] |