diff options
author | Bryan Drewery <bryan@shatow.net> | 2022-11-03 23:11:36 +0300 |
---|---|---|
committer | Bryan Drewery <bryan@shatow.net> | 2022-11-04 17:33:23 +0300 |
commit | a5f3bf461463f0702d2e3cbaa418e273b91e7b2b (patch) | |
tree | 5d901ab5002db315985aa9e37a857a07c444b320 /src | |
parent | 241ab13407e10ea6db5b464fba04e5a568f96f17 (diff) |
clean_pool: Ignored *listed* ports are not marked skipped per the comment.
Diffstat (limited to 'src')
-rwxr-xr-x | src/share/poudriere/common.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/share/poudriere/common.sh b/src/share/poudriere/common.sh index f2a5a83b..b8b8cd3b 100755 --- a/src/share/poudriere/common.sh +++ b/src/share/poudriere/common.sh @@ -5120,7 +5120,7 @@ clean_pool() { # should be accounted as IGNORED. if [ "${clean_rdepends}" = "ignored" ] && \ shash_exists pkgname-ignore "${skipped_pkgname}" && \ - pkgname_is_queued "${skipped_pkgname}"; then + pkgname_is_listed "${skipped_pkgname}"; then continue fi get_originspec_from_pkgname skipped_originspec "${skipped_pkgname}" |