#!/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