diff options
| author | Erich Eckner <git@eckner.net> | 2017-06-20 09:01:35 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-06-20 09:01:35 +0200 |
| commit | 05e3561b3df4078a33865913d8135dbfe4ad5809 (patch) | |
| tree | 9afde5a0c4d87187cc6e193c3666eb77a6a9a4cd /bin/db-update | |
| parent | 797adfe1c1f26c57d31bc7b1b67e54d36257806f (diff) | |
| download | builder-05e3561b3df4078a33865913d8135dbfe4ad5809.tar.xz | |
hand out broken packages multiple times
Diffstat (limited to 'bin/db-update')
| -rwxr-xr-x | bin/db-update | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/bin/db-update b/bin/db-update index 0542f5b..d5e6009 100755 --- a/bin/db-update +++ b/bin/db-update @@ -234,11 +234,11 @@ fi # packages which can't be un-staged because they're still dependencies # 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" | \ +grep -vxF 'break_loops' "${work_dir}/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 | \ sort -u > \ "${tmp_dir}/keep_packages" @@ -309,7 +309,7 @@ done done_packages="$(cat "${tmp_dir}/done_packages")" # if build list is empty, remember all entries of 'deletion-list' -if [ -s "${work_dir}/build-list" ]; then +if grep -qvxF 'break_loops' "${work_dir}/build-list"; then delete_packages='' else delete_packages="$( |