diff options
Diffstat (limited to 'checks/run-gpg')
| -rwxr-xr-x | checks/run-gpg | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/checks/run-gpg b/checks/run-gpg index 936ebf76d..4128e00d9 100755 --- a/checks/run-gpg +++ b/checks/run-gpg @@ -2,7 +2,9 @@ [ -n "$show_cmds" ] && echo "../g10/gpg --homedir . $*" -if ! ../g10/gpg --homedir . $* 2>err.tmp.$$ ; then +if ../g10/gpg --homedir . $* 2>err.tmp.$$ ; then + : +else echo "(../g10/gpg --homedir . $*) failed" >&2 cat err.tmp.$$ >&2 rm err.tmp.$$ |