diff options
| author | Erich Eckner <git@eckner.net> | 2017-11-25 15:55:01 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-11-25 15:55:01 +0100 |
| commit | 5c8a7052f25db9d75a91627aa36b629a0c8afc5d (patch) | |
| tree | 2207a16cbadac26005a3c40a9ec64b143691b30c | |
| parent | c200a763a376ef1f5b67f8df7ab35d96c2f8f51a (diff) | |
| download | builder-5c8a7052f25db9d75a91627aa36b629a0c8afc5d.tar.xz | |
bin/build-packages: dito
| -rwxr-xr-x | bin/build-packages | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/bin/build-packages b/bin/build-packages index 78eb05b..745335e 100755 --- a/bin/build-packages +++ b/bin/build-packages @@ -529,7 +529,8 @@ while [ "${count}" -ne 0 ]; do *) >&2 echo "ERROR: Unknown exit code ${err} from 'get-assignment'." - exit 1 + wait_some_time 60 + continue ;; |