diff options
Diffstat (limited to 'checks/run-gpgm')
| -rwxr-xr-x | checks/run-gpgm | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/checks/run-gpgm b/checks/run-gpgm index 847ce15b9..9afbee393 100755 --- a/checks/run-gpgm +++ b/checks/run-gpgm @@ -1,6 +1,8 @@ #!/bin/sh -if ! ../g10/gpgm --homedir . $* 2>err.tmp.$$ ; then +if ../g10/gpgm --homedir . $* 2>err.tmp.$$ ; then + : +else echo "(../g10/gpgm --homedir . $*) failed" >&2 cat err.tmp.$$ >&2 rm err.tmp.$$ |