From 5ec8ebfaf6690e95ce7a7ffdcd6c298d5dceac90 Mon Sep 17 00:00:00 2001 From: Joerg Jaspert Date: Fri, 25 Mar 2011 21:34:34 +0100 Subject: [PATCH] its true damnit Signed-off-by: Joerg Jaspert --- scripts/debian/buildd-remove-keys | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/debian/buildd-remove-keys b/scripts/debian/buildd-remove-keys index 180f1f25..0ea4c23d 100755 --- a/scripts/debian/buildd-remove-keys +++ b/scripts/debian/buildd-remove-keys @@ -172,7 +172,7 @@ for file in $(ls -1 ${INCOMING}/*.del ); do ARCHKEYRING="${base}/${ARCH}/keyring.gpg" # Is the key in there? - KEYNO=$(gpg ${DEFGPGOPT} --keyring "${ARCHKEYRING}" --with-colons --list-keys ${KEYID} | grep -c '^pub:') + KEYNO=$(gpg ${DEFGPGOPT} --keyring "${ARCHKEYRING}" --with-colons --list-keys ${KEYID} | grep -c '^pub:' || /bin/true ) if [ $KEYNO -eq 1 ]; then # Right, exactly one there, lets get rid of it -- 2.39.2