From aefc29a24868ab7f4971566efce8bd6c9395efee Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Wed, 26 Sep 2018 10:37:48 +0200
Subject: bin/build-packages: receive missing keys

---
 bin/build-packages | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'bin')

diff --git a/bin/build-packages b/bin/build-packages
index a3f253d..e6b7f87 100755
--- a/bin/build-packages
+++ b/bin/build-packages
@@ -730,6 +730,11 @@ while [ "${count}" -ne 0 ] && \
       if ! ${success}; then
         for log in *'.build-log'; do
           if [ -f "${log}" ]; then
+            sed -n '
+              s/^.* FAILED (unknown public key \([0-9A-F]\{16\}\)).*$/0x\1/
+              T
+              p
+            ' | xargs -rn1 gpg --recv-keys
             if ${upload_to_build_master}; then
               gzip "${log}"
             else
-- 
cgit v1.2.3-54-g00ecf