From: Joerg Jaspert Date: Fri, 25 Mar 2011 20:34:34 +0000 (+0100) Subject: its true damnit X-Git-Url: https://err.no/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5ec8ebfaf6690e95ce7a7ffdcd6c298d5dceac90;p=dak its true damnit Signed-off-by: Joerg Jaspert --- 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