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 |