diff options
Diffstat (limited to 'tools/checkpatch.sh')
| -rwxr-xr-x | tools/checkpatch.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/checkpatch.sh b/tools/checkpatch.sh index f55692096..73421784f 100755 --- a/tools/checkpatch.sh +++ b/tools/checkpatch.sh @@ -72,7 +72,7 @@ else echo "Report for $(basename $file _cp)" 1>&2 echo "===============================================" 1>&2 if [ -a /tmp/f2/$(basename $file) ]; then - diff $file /tmp/f2/$(basename $file) | grep -v "normally be const" | grep -A3 "ERROR\|WARNING" 1>&2 + diff $file /tmp/f2/$(basename $file) | grep -v "normally be const" | grep -A3 "ERROR\|WARNING" | grep -A2 -B2 '/tmp/f1' 1>&2 else cat $file | grep -v "normally be const" | grep -A3 "ERROR\|WARNING" 1>&2 fi |