summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2017-05-02 15:09:45 +0200
committerErich Eckner <git@eckner.net>2017-05-02 15:09:45 +0200
commit0ecda25f113e90a5f2c6794883bbecb756b8f354 (patch)
treea8adf3cf53ffef02ec3df1f95c9999e2fa6cfa4e
parentffbc21a02ffa984359b69e79d0551bf8dc714a48 (diff)
downloadbuilder-0ecda25f113e90a5f2c6794883bbecb756b8f354.tar.xz
bin/get-package-updates: accellerate removal of cached infos
-rwxr-xr-xbin/get-package-updates3
1 files changed, 2 insertions, 1 deletions
diff --git a/bin/get-package-updates b/bin/get-package-updates
index 7f0df7c..17c9c2f 100755
--- a/bin/get-package-updates
+++ b/bin/get-package-updates
@@ -117,7 +117,8 @@ while read -r package git_revision repository; do
fi
# delete cached values of old versions of this PKGBUILD
- ls -1 "${work_dir}/package-infos" | \
+ ls -1 "${work_dir}/package-infos/${package}-"* 2> /dev/null | \
+ sed 's|^.*/||' | \
grep "^${package}"'\.[0-9a-f]\{40\}\.\(builds\|needs\)$' | \
grep -v "^${package}\.${git_revision}"'\.\(builds\|needs\)$' | \
while read file; do