diff options
Diffstat (limited to 'checks/run-gpgm')
| -rwxr-xr-x | checks/run-gpgm | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/checks/run-gpgm b/checks/run-gpgm new file mode 100755 index 000000000..847ce15b9 --- /dev/null +++ b/checks/run-gpgm @@ -0,0 +1,10 @@ +#!/bin/sh + +if ! ../g10/gpgm --homedir . $* 2>err.tmp.$$ ; then + echo "(../g10/gpgm --homedir . $*) failed" >&2 + cat err.tmp.$$ >&2 + rm err.tmp.$$ + exit 1 +fi +rm err.tmp.$$ + |