Home | History | Annotate | Download | only in auxprogs 
      1 #!/bin/sh
      2 
      3 usage()
      4 {
      5     cat <<EOF
      6 
      7 Usage: $0 result_file_1 result_file_2
      8 
      9 EOF
     10 }
     11 
     12 if [ $# != 2 ]; then
     13    usage;
     14    exit 1;
     15 else
     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;
     21 fi
     22