diff options
| author | Erich Eckner <git@eckner.net> | 2017-06-09 14:47:18 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-06-09 14:47:18 +0200 |
| commit | 0708ebe2ef93780bb7b7885ea140e2b1458a9c13 (patch) | |
| tree | e4de851589ec759e31fe5cb603a740ce2e943bd7 /bin | |
| parent | dd3d74b220ee9d1b245fdccc779cd78113db09a8 (diff) | |
| download | builder-0708ebe2ef93780bb7b7885ea140e2b1458a9c13.tar.xz | |
bin/get-package-updates: remove duplicates from deletion-list
Diffstat (limited to 'bin')
| -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 6480349..00b11e1 100755 --- a/bin/get-package-updates +++ b/bin/get-package-updates @@ -177,6 +177,11 @@ done | \ esac done +sort -u "${work_dir}/deletion-list.new" > \ + "${work_dir}/deletion-list.new.new" + +mv "${work_dir}/deletion-list.new"{.new,} + echo 'Extract dependencies of packages.' # First, we extract the dependencies of each package. |