diff options
author | Erich Eckner <git@eckner.net> | 2020-01-13 10:20:36 +0100 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2020-01-13 10:20:36 +0100 |
commit | 4dce125eb2ecd741b762cc37652fc960a128fc86 (patch) | |
tree | 62a9b2790a21642110ac2630481e63745d6a857c | |
parent | 9c9d3c9937c282c01589c4baa4ff27cc485c0f97 (diff) | |
download | builder-4dce125eb2ecd741b762cc37652fc960a128fc86.tar.xz |
bin/nit-picker: check if packages is marked as to_be_deleted before complaining, that we do still have it
-rwxr-xr-x | bin/nit-picker | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/nit-picker b/bin/nit-picker index 96101a8..ed26211 100755 --- a/bin/nit-picker +++ b/bin/nit-picker @@ -190,6 +190,7 @@ while pgrep -x ii >/dev/null \ printf '`binary_packages`.`pkgname`' printf ' FROM `binary_packages`' mysql_join_binary_packages_binary_packages_in_repositories + printf ' AND NOT `binary_packages_in_repositories`.`to_be_deleted`' mysql_join_binary_packages_in_repositories_repositories printf ' AND (' printf '`repositories`.`is_on_master_mirror`' |