From 8d8347530d2d244cc00b93289452a4382f7e48b8 Mon Sep 17 00:00:00 2001 From: Erich Eckner Date: Tue, 2 May 2017 14:54:55 +0200 Subject: bin/get-package-updates: actually remove old cached data --- bin/get-package-updates | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'bin') 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" ] || \ -- cgit v1.2.3-54-g00ecf