diff options
| author | Erich Eckner <git@eckner.net> | 2018-10-11 14:04:54 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-10-11 14:04:54 +0200 |
| commit | a5830aab8f41ca826f7fe521f6368236fd619611 (patch) | |
| tree | 473f6536fcfb39343bade410ab8669dbf7c8e43d | |
| parent | 56ed9475afc3973763e8c62d61e52e00b4386a4a (diff) | |
| download | builder-a5830aab8f41ca826f7fe521f6368236fd619611.tar.xz | |
bin/get-assignment: do not skip forced-assignments if the first of them is unavailable
| -rwxr-xr-x | bin/get-assignment | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/get-assignment b/bin/get-assignment index 91b7b69..3fc0d49 100755 --- a/bin/get-assignment +++ b/bin/get-assignment @@ -147,7 +147,7 @@ if [ -n "${currently_building}" ]; then fi # shellcheck disable=SC2154 -if [ -s "${work_dir}/forced-package-builds.${slave}" ]; then +while [ -s "${work_dir}/forced-package-builds.${slave}" ]; do next_building=$( sed -i ' 1 { @@ -190,7 +190,7 @@ if [ -s "${work_dir}/forced-package-builds.${slave}" ]; then hand_out_assignment "${next_building}" fi fi -fi +done # a package with [all dependencies met or which is part of a loop] # and which is currently not being built, ordered by: |