diff options
| author | Erich Eckner <git@eckner.net> | 2017-05-02 15:09:45 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-05-02 15:09:45 +0200 |
| commit | 0ecda25f113e90a5f2c6794883bbecb756b8f354 (patch) | |
| tree | a8adf3cf53ffef02ec3df1f95c9999e2fa6cfa4e | |
| parent | ffbc21a02ffa984359b69e79d0551bf8dc714a48 (diff) | |
| download | builder-0ecda25f113e90a5f2c6794883bbecb756b8f354.tar.xz | |
bin/get-package-updates: accellerate removal of cached infos
| -rwxr-xr-x | bin/get-package-updates | 3 |
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 |