blob: a7aada721361b4da150809ad6a93e9a7e9caa8a3 [file] [log] [blame]
#!/bin/sh
usage()
{
cat <<EOF
Usage: $0 result_file_1 result_file_2
EOF
}
if [ $# != 2 ]; then
usage;
exit 1;
else
echo $1 $2;
rm -f tmptmp_1 tmptmp_2;
grep -v GRIND= $1 > tmptmp_1;
grep -v GRIND= $2 > tmptmp_2;
diff -U2 tmptmp_1 tmptmp_2;
fi