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 | |
| parent | badc458b3ff9abcfcb539cb68cfbb7312d5caca8 (diff) | |
| download | builder-5447867ea4a5ad6e7780a852cff635389c362bef.tar.xz | |
bin/get-package-updates: lib32-* should always be deleted
| -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 |