1 files changed, 10 insertions, 0 deletions
diff --git a/funtools/funtest/funcheck b/funtools/funtest/funcheck
new file mode 100755
index 0000000..c5b0a43
--- /dev/null
+++ b/funtools/funtest/funcheck
@@ -0,0 +1,10 @@
+#!/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