1 files changed, 0 insertions, 10 deletions
diff --git a/funtools/funtest/funcheck b/funtools/funtest/funcheck
deleted file mode 100755
index c5b0a43..0000000
--- a/funtools/funtest/funcheck
+++ /dev/null
@@ -1,10 +0,0 @@
-#!/bin/sh
-
-if [ x$1 != x ]; then
-  FILE=$1
-  echo "checking $FILE ..."
-else
-  echo "checking stdin ..."
-fi
-
-egrep -v 'REV|EXACT|SUM|OPROG|NPROG|FILE|block factor does|0a1,2|\*\*\*|^ *$|^foo|idx|^tboxell|^\)|^HERE\)\]' $FILE