diff options
| author | Erich Eckner <git@eckner.net> | 2018-05-24 17:22:55 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-05-24 17:22:55 +0200 |
| commit | 2708d6c42e26550ae29a4a3d1cd98ceb32c089b1 (patch) | |
| tree | 7c0dfd354b58824e56f9290d791a281b4506bce4 /bin | |
| parent | bcfbdb303710cde01e24501c6f5704d2acfb0c8b (diff) | |
| download | builder-2708d6c42e26550ae29a4a3d1cd98ceb32c089b1.tar.xz | |
bin/build-packages: exit on unknown get-assignment exit code
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/build-packages | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/bin/build-packages b/bin/build-packages index 1b7a9b9..c6f912c 100755 --- a/bin/build-packages +++ b/bin/build-packages @@ -690,8 +690,7 @@ while [ "${count}" -ne 0 ] && \ *) >&2 echo "ERROR: Unknown exit code ${err} from 'get-assignment'." - wait_some_time 60 - continue + exit ${err} ;; |