bin/get-package-updates: remove duplicate entries from deletion-list

1 files changed, 5 insertions, 0 deletions

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