summaryrefslogtreecommitdiff
path: root/tools/ci
diff options
context:
space:
mode:
Diffstat (limited to 'tools/ci')
-rwxr-xr-xtools/ci/jobs/cpplint.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/ci/jobs/cpplint.sh b/tools/ci/jobs/cpplint.sh
index d327e49d1..7bbccf271 100755
--- a/tools/ci/jobs/cpplint.sh
+++ b/tools/ci/jobs/cpplint.sh
@@ -43,7 +43,7 @@ args+=("--filter=\
find src \
-type f \
-name "*.cpp" -o -name "*.hpp" -o -name "*.h" -o -name "*.cc" \
- -exec ./cpplint.py "${args[@]}" {} \; 2>${ERRFILE}2
+ -exec ./cpplint.py "${args[@]}" {} \+ 2>${ERRFILE}2
grep ": " ${ERRFILE}2 | grep -v -e "src/debug/" \
-e "unittests/doctest.h" \