diff options
| -rwxr-xr-x | tools/ci/jobs/cpplint.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/ci/jobs/cpplint.sh b/tools/ci/jobs/cpplint.sh index 06763af3e..1cf941de2 100755 --- a/tools/ci/jobs/cpplint.sh +++ b/tools/ci/jobs/cpplint.sh @@ -33,7 +33,8 @@ CHECKER="./cpplint.py --filter=\ -readability/namespace,\ -readability/casting,\ -readability/inheritance,\ --runtime/string" +-runtime/string,\ +-build/c++tr1" find src -type f -name "*.cpp" -exec $CHECKER {} \; 2>${ERRFILE}2 find src -type f -name "*.hpp" -exec $CHECKER {} \; 2>>${ERRFILE}2 |