| sewardj | 452fba8 | 2006-07-06 01:54:34 +0000 | [diff] [blame] | 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 | ||||