diff options
| author | Erich Eckner <git@eckner.net> | 2018-10-01 08:37:38 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-10-01 08:37:38 +0200 |
| commit | 343134ff30132a7ef7946abbaef6edb949c9152e (patch) | |
| tree | cac5ccbcd1654977747509d67d0df58758458e2f /bin/build-packages | |
| parent | 98334a1cf9d9b78e29dc39ef55d17162df5bef49 (diff) | |
| download | builder-343134ff30132a7ef7946abbaef6edb949c9152e.tar.xz | |
bin/build-packages: give sed some input
Diffstat (limited to 'bin/build-packages')
| -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 e6b7f87..24951c7 100755 --- a/bin/build-packages +++ b/bin/build-packages @@ -734,7 +734,7 @@ while [ "${count}" -ne 0 ] && \ s/^.* FAILED (unknown public key \([0-9A-F]\{16\}\)).*$/0x\1/ T p - ' | xargs -rn1 gpg --recv-keys + ' "${log}" | xargs -rn1 gpg --recv-keys if ${upload_to_build_master}; then gzip "${log}" else |