1#!/bin/sh
2
3usage()
4{
5    cat <<EOF
6
7Usage: $0 result_file_1 result_file_2
8
9EOF
10}
11
12if [ $# != 2 ]; then
13   usage;
14   exit 1;
15else
16   echo $1 $2;
17   rm -f tmptmp_1 tmptmp_2;
18   grep -v GRIND= $1 > tmptmp_1;
19   grep -v GRIND= $2 > tmptmp_2;
20   diff -U2 tmptmp_1 tmptmp_2;
21fi
22