diff options
| author | Erich Eckner <git@eckner.net> | 2017-06-18 20:04:59 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-06-18 20:04:59 +0200 |
| commit | 5e7e1ac0a4932156cfd399447968959f6081d3fe (patch) | |
| tree | b1f472f26add59a51b9de872e30bb22859319398 | |
| parent | ed11667e0facdb275b2c7de6f91efb44ac27c849 (diff) | |
| download | builder-5e7e1ac0a4932156cfd399447968959f6081d3fe.tar.xz | |
bin/db-update: generate metadata if necessary
| -rwxr-xr-x | bin/db-update | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/db-update b/bin/db-update index 899b920..5284c6a 100755 --- a/bin/db-update +++ b/bin/db-update @@ -112,6 +112,7 @@ fi # of any job on the build-list while read -r pkg pkg_rev mod_rev repo; do + generate_package_metadata "${pkg}" "${pkg_rev}" "${mod_rev}" "${repo}" cat "${work_dir}/package-infos/${pkg}.${pkg_rev}.${mod_rev}.depends" done < \ "${work_dir}/build-list" | \ |