diff options
Diffstat (limited to 'tools/ci/jobs/cpplint.sh')
| -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 fd73705dc..8bf769457 100755 --- a/tools/ci/jobs/cpplint.sh +++ b/tools/ci/jobs/cpplint.sh @@ -50,7 +50,7 @@ find src \ -exec ./cpplint.py "${args[@]}" {} \+ 2>"$ERRFILE_UNFILTERED" \ || { cat "$ERRFILE_UNFILTERED"; exit 1; } -# if grep does not find any messages, it exits non-zero +# If grep does not find any messages, it exits non-zero. Therefore, use ||true grep ": " "$ERRFILE_UNFILTERED" \ | grep -v -e "src/debug/" \ -e "unittests/doctest.h" \ |