diff options
author | Quentin Young <qlyoung@users.noreply.github.com> | 2018-02-23 16:04:07 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-02-23 16:04:07 +0100 |
commit | fb444efb6853da1baa0abbfbc4932657518fe6c3 (patch) | |
tree | 7ec2a9f49defb38d1011a47acbe2fc0196f01514 /tools | |
parent | Merge pull request #1723 from chiragshah6/ospf_vrf_dev (diff) | |
parent | tools: fix that filters issues on resulting file only (diff) | |
download | frr-fb444efb6853da1baa0abbfbc4932657518fe6c3.tar.xz frr-fb444efb6853da1baa0abbfbc4932657518fe6c3.zip |
Merge pull request #1792 from pguibert6WIND/issue_1786
tools: fix that filters issues on resulting file only
Diffstat (limited to 'tools')
-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 |