blob: c5b0a4317171b4233a74db2b144245d5ceea6ac0 (
plain)
1
2
3
4
5
6
7
8
9
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
|