From 5492bf4f7463ad56f812c0ca1a204e83d219dfb3 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Wed, 29 May 2019 12:04:50 +0200
Subject: bin/build-packages: grep had no input file and thus was waiting for
 stdin

---
 bin/build-packages | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/build-packages b/bin/build-packages
index 047130b..c5a9b75 100755
--- a/bin/build-packages
+++ b/bin/build-packages
@@ -863,7 +863,7 @@ while [ "${count}" -ne 0 ] && \
           ' {} \; | \
           xargs -rn1 gpg --recv-keys || \
           true
-        if grep -q ' FAILED (unknown public key \([0-9A-F]\{16\}\))'; then
+        if grep -q ' FAILED (unknown public key \([0-9A-F]\{16\}\))' -- ./*.build-log; then
           # download the repository key from github
           # TODO: get the name of the key file from its finger print or
           # some other information inside the repository
-- 
cgit v1.2.3-70-g09d2