diff options
| author | Erich Eckner <git@eckner.net> | 2017-06-14 15:09:37 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-06-14 15:09:37 +0200 |
| commit | 87f80caab1c8d6f360d36860f209ee6cf8d84bfd (patch) | |
| tree | 65c509471ddcd4c704a1de7935856b21fdc0d25d | |
| parent | 83f4fcd756123ebd5bf8011a9e517946dab04a4f (diff) | |
| download | builder-87f80caab1c8d6f360d36860f209ee6cf8d84bfd.tar.xz | |
bin/get-package-updates: remove duplicate entries from deletion-list
| -rwxr-xr-x | bin/get-package-updates | 5 |
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 |