diff options
Diffstat (limited to 'funtools/funtest/funcheck')
-rwxr-xr-x | funtools/funtest/funcheck | 10 |
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 |