summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2018-10-11 14:04:54 +0200
committerErich Eckner <git@eckner.net>2018-10-11 14:04:54 +0200
commita5830aab8f41ca826f7fe521f6368236fd619611 (patch)
tree473f6536fcfb39343bade410ab8669dbf7c8e43d
parent56ed9475afc3973763e8c62d61e52e00b4386a4a (diff)
downloadbuilder-a5830aab8f41ca826f7fe521f6368236fd619611.tar.xz
bin/get-assignment: do not skip forced-assignments if the first of them is unavailable
-rwxr-xr-xbin/get-assignment4
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: