diff options
| author | Erich Eckner <git@eckner.net> | 2017-09-13 10:46:03 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-09-13 10:46:03 +0200 |
| commit | fb464ea6c025eeffa23efd7cead8721ec406ef65 (patch) | |
| tree | 0dc19a87d16e3050172d448ac5eddc81136befe2 | |
| parent | cea5727be1cd69dd721afccdba462ee5e242df44 (diff) | |
| download | builder-fb464ea6c025eeffa23efd7cead8721ec406ef65.tar.xz | |
bin/get-assignment: hand out blocked packages again to the same build slave
| -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 |