diff options
Diffstat (limited to 'checks/run-gpg')
-rwxr-xr-x | checks/run-gpg | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/checks/run-gpg b/checks/run-gpg index 3420bf98e..9a3ffee8f 100755 --- a/checks/run-gpg +++ b/checks/run-gpg @@ -6,6 +6,7 @@ if ! ../g10/gpg --homedir . $* 2>err.tmp.$$ ; then rm err.tmp.$$ exit 1 fi -grep -v 'gpg: Good signature from' err.tmp.$$ || true +grep -v 'gpg: Good signature from' err.tmp.$$ \ + | grep -v 'gpg: Signature made ' || true rm err.tmp.$$ |