diff options
author | Erich Eckner <git@eckner.net> | 2017-06-21 10:26:21 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2017-06-21 10:26:21 +0200 |
commit | badd88e23307e82087bd322718bc51537185725d (patch) | |
tree | 4886c1a99fa8d5898230c66371af939384d59ce0 /bin | |
parent | 0b14863a04336dfe3cbcac3ec2ab995c39448313 (diff) | |
download | builder-badd88e23307e82087bd322718bc51537185725d.tar.xz |
cleanup
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/build-packages | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/bin/build-packages b/bin/build-packages index db88ce5..1d30ff3 100755 --- a/bin/build-packages +++ b/bin/build-packages @@ -271,23 +271,26 @@ while [ ${count} -ne 0 ]; do ;; 1) + >&2 echo 'get-assignment told me:' >&2 echo ' come back (shortly) later - I was running already' wait_some_time 15 continue + ;; - # 2: come back later - there are still packages to be built, - # but currently none has all its dependencies ready 2) + >&2 echo 'get-assignment told me:' >&2 echo ' 2: come back later - there are still packages to be built,' >&2 echo ' but currently none has all its dependencies ready' wait_some_time 60 continue + ;; 3) + >&2 echo 'get-assignment told me:' >&2 echo ' 3: come back after the next run of get-package-updates - currently' >&2 echo ' there are no pending packages' @@ -295,11 +298,11 @@ while [ ${count} -ne 0 ]; do ;; - # 4: come back, when you've done your work - you hit the limit on - # maximum allowed parallel jobs per ip 4) - >&2 echo 'ERROR: There are too many parallel builds running on this machine.' + >&2 echo 'get-assignment told me:' + >&2 echo " come back, when you've done your work - you hit the limit on" + >&2 echo ' maximum allowed parallel jobs per ip' exit 1 ;; |