diff options
| author | Erich Eckner <git@eckner.net> | 2018-09-26 10:37:48 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-09-26 10:37:48 +0200 |
| commit | aefc29a24868ab7f4971566efce8bd6c9395efee (patch) | |
| tree | 0d48ccb4371257752c19284f69fa118624eaa493 /bin | |
| parent | a4ff90865b0723c483edcf7cc484a36f56080cd3 (diff) | |
| download | builder-aefc29a24868ab7f4971566efce8bd6c9395efee.tar.xz | |
bin/build-packages: receive missing keys
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/build-packages | 5 |
1 files changed, 5 insertions, 0 deletions
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 |