diff options
| -rwxr-xr-x | bin/get-assignment | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/bin/get-assignment b/bin/get-assignment index fb35c0c..04497c4 100755 --- a/bin/get-assignment +++ b/bin/get-assignment @@ -86,17 +86,13 @@ while read -r package git_revision mod_git_revision repository; do generate_package_metadata "${package}.${git_revision}.${mod_git_revision}.${repository}" - if [ -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 echo "${package} ${git_revision} ${mod_git_revision} ${repository}" exit fi - else + elif [ ! -f "${work_dir}/package-states/${package}.${git_revision}.${mod_git_revision}.${repository}.blocked" ]; then pending_packages=true fi |