summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2017-06-14 15:09:37 +0200
committerErich Eckner <git@eckner.net>2017-06-14 15:09:37 +0200
commit87f80caab1c8d6f360d36860f209ee6cf8d84bfd (patch)
tree65c509471ddcd4c704a1de7935856b21fdc0d25d
parent83f4fcd756123ebd5bf8011a9e517946dab04a4f (diff)
downloadbuilder-87f80caab1c8d6f360d36860f209ee6cf8d84bfd.tar.xz
bin/get-package-updates: remove duplicate entries from deletion-list
-rwxr-xr-xbin/get-package-updates5
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