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