diff options
| -rwxr-xr-x | tools/ci/jobs/cpplint.sh | 2 |
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" \ |