diff options
| author | Erich Eckner <git@eckner.net> | 2019-05-29 12:04:50 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-05-29 12:04:50 +0200 |
| commit | 5492bf4f7463ad56f812c0ca1a204e83d219dfb3 (patch) | |
| tree | 340c48803890f811c456d9341e7b376faa3c2583 /bin | |
| parent | d1bd081fed69a8db0c95e8e8016e9ecaf251e48f (diff) | |
| download | builder-5492bf4f7463ad56f812c0ca1a204e83d219dfb3.tar.xz | |
bin/build-packages: grep had no input file and thus was waiting for stdin
Diffstat (limited to 'bin')
| -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 |