diff options
| author | Erich Eckner <git@eckner.net> | 2017-05-02 14:54:55 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-05-02 14:54:55 +0200 |
| commit | 8d8347530d2d244cc00b93289452a4382f7e48b8 (patch) | |
| tree | db4c632fd72884d2ddf2fdef53ad18031c0cbf44 /bin/get-package-updates | |
| parent | b25c07d3aa2e41c2248eac34893cf6e934961276 (diff) | |
| download | builder-8d8347530d2d244cc00b93289452a4382f7e48b8.tar.xz | |
bin/get-package-updates: actually remove old cached data
Diffstat (limited to 'bin/get-package-updates')
| -rwxr-xr-x | bin/get-package-updates | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/get-package-updates b/bin/get-package-updates index de58eb2..5d2d1cb 100755 --- a/bin/get-package-updates +++ b/bin/get-package-updates @@ -113,7 +113,7 @@ while read -r package git_revision repository; do grep "^${package}"'\.[0-9a-f]\{40\}\.\(builds\|needs\)$' | \ grep -v "^${package}\.${git_revision}"'\.\(builds\|needs\)$' | \ while read file; do - echo rm "${work_dir}/package-infos/${file}" + rm "${work_dir}/package-infos/${file}" done if [ ! -e "${work_dir}/package-infos/${package}.${git_revision}.builds" ] || \ |