aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xextras/scripts/checkstyle.sh2
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