blob: a9e0e31ccf7ebfae7471278f0d241609951a85af (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
#!/bin/sh
[ -n "$show_cmds" ] && echo "../g10/gpg --homedir . $*"
if ../g10/gpg --homedir . $* 2>err.tmp.$$ ; then
:
else
echo "(../g10/gpg --homedir . $*) failed" >&2
cat err.tmp.$$ >&2
rm err.tmp.$$
exit 1
fi
fgrep -v -f $srcdir/run-gpg.patterns err.tmp.$$
rm err.tmp.$$
|
