]> git.decadent.org.uk Git - dak.git/commitdiff
its true damnit
authorJoerg Jaspert <joerg@debian.org>
Fri, 25 Mar 2011 20:34:34 +0000 (21:34 +0100)
committerJoerg Jaspert <joerg@debian.org>
Fri, 25 Mar 2011 20:34:34 +0000 (21:34 +0100)
Signed-off-by: Joerg Jaspert <joerg@debian.org>
scripts/debian/buildd-remove-keys

index 180f1f250f3a9cc842c132e181669fe59bf36707..0ea4c23dc33afebf6031e7b9d15811a84470e0e7 100755 (executable)
@@ -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