diff options
| author | Erich Eckner <git@eckner.net> | 2017-07-05 15:26:13 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-07-05 15:26:13 +0200 |
| commit | c9d144af7c3dc999643130406809d55a38861f47 (patch) | |
| tree | 6f34d0a7cdd0d14ba75b6b7bef867cf28c42aa1b /bin/get-assignment | |
| parent | 620c0608b746aec5ff59ee3dc607c7a5b4e2bd9e (diff) | |
| download | builder-c9d144af7c3dc999643130406809d55a38861f47.tar.xz | |
bin/get-assignment: generate_package_metadata instead of assuming all files are available
Diffstat (limited to 'bin/get-assignment')
| -rwxr-xr-x | bin/get-assignment | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/get-assignment b/bin/get-assignment index 1d55720..68d2658 100755 --- a/bin/get-assignment +++ b/bin/get-assignment @@ -81,6 +81,8 @@ while read -r package git_revision mod_git_revision repository; do continue fi + 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 |