diff options
Diffstat (limited to 'extras/scripts/checkstyle.sh')
| -rwxr-xr-x | extras/scripts/checkstyle.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/extras/scripts/checkstyle.sh b/extras/scripts/checkstyle.sh index b40f43fa1e6..ab0e6e46331 100755 --- a/extras/scripts/checkstyle.sh +++ b/extras/scripts/checkstyle.sh @@ -23,7 +23,7 @@ SUFFIX="-${CLANG_FORMAT_VER}" clang-format${SUFFIX} --version in=$(mktemp) -git diff ${GIT_DIFF_ARGS} > ${in} +git diff ${GIT_DIFF_ARGS} ':!*.patch' > ${in} line_count=$(sed -n '/^+.*\*INDENT-O[NF][F]\{0,1\}\*/p' ${in} | wc -l) if [ ${line_count} -gt 0 ] ; then |