1 files changed, 11 insertions, 0 deletions
diff --git a/checks/run-gpg b/checks/run-gpg
new file mode 100755
index 000000000..3420bf98e
--- /dev/null
+++ b/checks/run-gpg
@@ -0,0 +1,11 @@
+#!/bin/sh
+
+if ! ../g10/gpg --homedir . $* 2>err.tmp.$$ ; then
+    echo "(../g10/gpg --homedir . $*) failed" >&2
+    cat err.tmp.$$ >&2
+    rm err.tmp.$$
+    exit 1
+fi
+grep -v 'gpg: Good signature from' err.tmp.$$ || true
+rm err.tmp.$$
+