diff options
| author | Erich Eckner <git@eckner.net> | 2019-06-20 11:13:13 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-06-20 11:13:13 +0200 |
| commit | 42e593f6dc3cad3a8ed0fd32f151132bfc515c73 (patch) | |
| tree | 2c2c5052e385f963ac452b726131ae1cf706435b | |
| parent | 806d2e7a80bf4695542e774a82a6004ebcc89767 (diff) | |
| download | builder-42e593f6dc3cad3a8ed0fd32f151132bfc515c73.tar.xz | |
bin/build-packages: fix broken sed
| -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 a3b03e0..5858a78 100755 --- a/bin/build-packages +++ b/bin/build-packages @@ -500,7 +500,7 @@ while [ "${count}" -ne 0 ] && \ s/^.* FAILED (unknown public key \([0-9A-F]\{16\}\)).*$/0x\1/ T p - ' "${tmp_dir}/verifysource.log" \; + ' "${tmp_dir}/verifysource.log" ) if [ -n "${missing_keys}" ]; then if gpg --recv-keys "${missing_keys}"; then |