diff options
| author | Lou Berger <lberger@labn.net> | 2018-08-06 15:59:35 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-08-06 15:59:35 -0400 |
| commit | 672b7abdeaddd8de31fe9777df106ea4bcc9ad3f (patch) | |
| tree | 92a6c6e79cbf1bde9a287a10a04cb2ad74e0f8d1 | |
| parent | 0bad2f83d78c7f5e0f09ab58fd4deecc8f03941d (diff) | |
| parent | 540b2efdf7c17d262e67013234690fbddd74fdc6 (diff) | |
Merge pull request #2777 from qlyoung/fix-checkpatch-sh-greps
tools: improve checkpatch slicing
| -rwxr-xr-x | tools/checkpatch.sh | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/tools/checkpatch.sh b/tools/checkpatch.sh index e1fb529d35..6071f4804d 100755 --- a/tools/checkpatch.sh +++ b/tools/checkpatch.sh @@ -72,12 +72,13 @@ else echo "Done." for file in ${tmp1}/*_cp; do if [ -a ${tmp2}/$(basename $file) ]; then - result=$(diff $file ${tmp2}/$(basename $file) | grep -A3 "ERROR\|WARNING" | grep -A2 -B2 "${tmp1}") + result=$(diff $file ${tmp2}/$(basename $file) | awk '/< ERROR|< WARNING/,/^< $|^< #|^<[^ ]/ { print $0; ++n }; END { exit n }') else - result=$(cat $file | grep -A3 "ERROR\|WARNING" | grep -A2 -B2 "${tmp1}") + result=$(cat $file | awk '/ERROR|WARNING/,/^$/ { print $0; ++n }; END { exit n }') fi - if [ "$?" -eq "0" ]; then - echo "Report for $(basename $file _cp)" 1>&2 + ni="$?" + if [ "$ni" -ne "0" ]; then + echo "Report for $(basename $file _cp) | $ni issues" 1>&2 echo "===============================================" 1>&2 echo "$result" 1>&2 if echo $result | grep -q "ERROR"; then |
