diff options
| -rwxr-xr-x | bin/build-packages | 2 |
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 |