diff options
| author | Erich Eckner <git@eckner.net> | 2017-06-07 09:32:03 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-06-07 09:32:03 +0200 |
| commit | 278369c53402d606b2953abc2df12049ff3303fa (patch) | |
| tree | bdb7c644028ac859d7d7d56620a97a9b3aca3fc2 /bin/get-assignment | |
| parent | 68e1821446ecbd08b1c5b92a52d301040e1cd2a9 (diff) | |
| download | builder-278369c53402d606b2953abc2df12049ff3303fa.tar.xz | |
bin/get-assignment: ignore blocked and broken packages
Diffstat (limited to 'bin/get-assignment')
| -rwxr-xr-x | bin/get-assignment | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/bin/get-assignment b/bin/get-assignment index dd4faf2..3d8fef4 100755 --- a/bin/get-assignment +++ b/bin/get-assignment @@ -64,6 +64,11 @@ pending_packages=false while read -r package git_revision mod_git_revision repository; do + if [ -f "${work_dir}/package-states/${package}.${git_revision}.${mod_git_revision}.${repository}.broken" ] || + [ -f "${work_dir}/package-states/${package}.${git_revision}.${mod_git_revision}.${repository}.blocked" ]; then + continue + fi + if [ -f "${work_dir}/package-states/${package}.${git_revision}.${mod_git_revision}.${repository}.locked" ]; then if [ "${slave}" = "$(head -n1 "${work_dir}/package-states/${package}.${git_revision}.${mod_git_revision}.${repository}.locked")" ]; then |