1 files changed, 0 insertions, 15 deletions
diff --git a/checks/run-gpg b/checks/run-gpg
deleted file mode 100755
index 28d575e95..000000000
--- a/checks/run-gpg
+++ /dev/null
@@ -1,15 +0,0 @@
-#!/bin/sh
-
-[ -n "$show_cmds" ] && echo "../g10/gpg --homedir . $*" >&2
-
-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.$$ >&2
-rm err.tmp.$$
-