summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLou Berger <lberger@labn.net>2018-08-06 15:59:35 -0400
committerGitHub <noreply@github.com>2018-08-06 15:59:35 -0400
commit672b7abdeaddd8de31fe9777df106ea4bcc9ad3f (patch)
tree92a6c6e79cbf1bde9a287a10a04cb2ad74e0f8d1
parent0bad2f83d78c7f5e0f09ab58fd4deecc8f03941d (diff)
parent540b2efdf7c17d262e67013234690fbddd74fdc6 (diff)
Merge pull request #2777 from qlyoung/fix-checkpatch-sh-greps
tools: improve checkpatch slicing
-rwxr-xr-xtools/checkpatch.sh9
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