summaryrefslogtreecommitdiff
path: root/bin
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2019-05-29 12:04:50 +0200
committerErich Eckner <git@eckner.net>2019-05-29 12:04:50 +0200
commit5492bf4f7463ad56f812c0ca1a204e83d219dfb3 (patch)
tree340c48803890f811c456d9341e7b376faa3c2583 /bin
parentd1bd081fed69a8db0c95e8e8016e9ecaf251e48f (diff)
downloadbuilder-5492bf4f7463ad56f812c0ca1a204e83d219dfb3.tar.xz
bin/build-packages: grep had no input file and thus was waiting for stdin
Diffstat (limited to 'bin')
-rwxr-xr-xbin/build-packages2
1 files changed, 1 insertions, 1 deletions
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