1
0
mirror of git://git.gnupg.org/gnupg.git synced 2024-11-09 21:28:51 +01:00
gnupg/checks/run-gpgm

11 lines
184 B
Plaintext
Raw Normal View History

1998-04-08 21:42:07 +02:00
#!/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.$$