Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/bin/db-update
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2017-06-20 09:01:35 +0200
committerErich Eckner <git@eckner.net>2017-06-20 09:01:35 +0200
commit05e3561b3df4078a33865913d8135dbfe4ad5809 (patch)
tree9afde5a0c4d87187cc6e193c3666eb77a6a9a4cd /bin/db-update
parent797adfe1c1f26c57d31bc7b1b67e54d36257806f (diff)
hand out broken packages multiple times
Diffstat (limited to 'bin/db-update')
-rwxr-xr-xbin/db-update12
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="$(