1998-04-08 21:42:07 +02:00
|
|
|
#!/bin/sh
|
|
|
|
|
2000-10-04 13:16:19 +02:00
|
|
|
[ -n "$show_cmds" ] && echo "../g10/gpg --homedir . $*" >&2
|
1998-08-08 21:27:00 +02:00
|
|
|
|
1998-09-14 12:33:57 +02:00
|
|
|
if ../g10/gpg --homedir . $* 2>err.tmp.$$ ; then
|
|
|
|
:
|
|
|
|
else
|
1998-04-08 21:42:07 +02:00
|
|
|
echo "(../g10/gpg --homedir . $*) failed" >&2
|
|
|
|
cat err.tmp.$$ >&2
|
|
|
|
rm err.tmp.$$
|
|
|
|
exit 1
|
|
|
|
fi
|
2000-10-04 13:16:19 +02:00
|
|
|
fgrep -v -f $srcdir/run-gpg.patterns err.tmp.$$ >&2
|
1998-04-08 21:42:07 +02:00
|
|
|
rm err.tmp.$$
|
|
|
|
|