summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
Diffstat (limited to 'tools')
-rwxr-xr-xtools/ci/jobs/cpplint.sh3
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