diff options
| author | Erich Eckner <git@eckner.net> | 2017-11-25 15:47:54 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-11-25 15:47:54 +0100 |
| commit | c200a763a376ef1f5b67f8df7ab35d96c2f8f51a (patch) | |
| tree | c4877fbeb20fda6aec676d6d9a9720d945b8780d /bin | |
| parent | 235b0a01b941a9a1638a68fe59fb71348550bc2a (diff) | |
| download | builder-c200a763a376ef1f5b67f8df7ab35d96c2f8f51a.tar.xz | |
bin/build-packages: do not crash if build master crashes when handing out an assignment
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/build-packages | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/build-packages b/bin/build-packages index 343caad..78eb05b 100755 --- a/bin/build-packages +++ b/bin/build-packages @@ -432,7 +432,7 @@ while [ "${count}" -ne 0 ]; do ;; *) >&2 echo "unknown return code ${err} from 'return-assignment'" - bail_out 1 + wait_some_time 60 esac done success=true |