diff options
author | Erich Eckner <git@eckner.net> | 2019-08-07 18:54:22 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2019-08-07 18:54:22 +0200 |
commit | 5447867ea4a5ad6e7780a852cff635389c362bef (patch) | |
tree | ddd4c4c30d0c843e92227808f22f76ca3b2c08c3 /bin/get-package-updates | |
parent | badc458b3ff9abcfcb539cb68cfbb7312d5caca8 (diff) | |
download | builder-5447867ea4a5ad6e7780a852cff635389c362bef.tar.xz |
bin/get-package-updates: lib32-* should always be deleted
Diffstat (limited to 'bin/get-package-updates')
-rwxr-xr-x | bin/get-package-updates | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/bin/get-package-updates b/bin/get-package-updates index 4640a60..69a227a 100755 --- a/bin/get-package-updates +++ b/bin/get-package-updates @@ -486,9 +486,15 @@ if [ -s "${tmp_dir}/modified-packages" ] || ! ${pull}; then if [ -s "${tmp_dir}/modified-packages" ]; then sort -k2,2 | \ join -1 1 -2 2 -o 2.1,2.2 "${tmp_dir}/modified-packages" - + sed ' + /^lib32-/ s/^/any / + t + d + ' "${tmp_dir}/modified-packages" else cat fi | \ + sort -u | \ while read -r arch pkgbase; do delete_package "${arch}" "${pkgbase}" done |