diff options
| -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: |