From 87f80caab1c8d6f360d36860f209ee6cf8d84bfd Mon Sep 17 00:00:00 2001 From: Erich Eckner Date: Wed, 14 Jun 2017 15:09:37 +0200 Subject: bin/get-package-updates: remove duplicate entries from deletion-list --- bin/get-package-updates | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/bin/get-package-updates b/bin/get-package-updates index 7f192d4..f53d2ae 100755 --- a/bin/get-package-updates +++ b/bin/get-package-updates @@ -237,6 +237,11 @@ echo "${black_listed}" | \ delete_package "${package}" done +sort -u "${work_dir}/deletion-list.new" > \ + "${work_dir}/deletion-list.new.new" + +mv "${work_dir}/deletion-list.new"{.new,} + # Now we create the partial order. while read -r package git_revision mod_git_revision repository; do -- cgit v1.2.3-70-g09d2