diff options
author | David Neto <dneto@google.com> | 2022-12-09 19:58:10 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-12-09 19:58:10 -0500 |
commit | 98d08e0dd34dae2f0b3fbe521610833ebb64497a (patch) | |
tree | 24dcc763a5db022f063a41a5ed10cc872f574231 /tools | |
parent | 455e6ac86c1e42ba4e4e7cfe0629912cf28c1dea (diff) | |
download | amber-98d08e0dd34dae2f0b3fbe521610833ebb64497a.tar.gz |
Use cpplint/cpplint instead of google/styleguide's cpplint (#1008)
There are 128 errors for build/header_guard, so suppress that for now.
Fixes #1007
Change-Id: Ife9d482fd627dba07a4e454ecbfc58ea5ceac168
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/run-lint.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/tools/run-lint.sh b/tools/run-lint.sh index 40bc8a7..3fbaf93 100755 --- a/tools/run-lint.sh +++ b/tools/run-lint.sh @@ -15,5 +15,6 @@ set -e # fail on error -./third_party/cpplint/cpplint/cpplint.py `find src samples -type f` -./third_party/cpplint/cpplint/cpplint.py --root include `find ./include -type f` +FILTERS=-build/header_guard +./third_party/cpplint/cpplint.py --filter "$FILTERS" `find src samples -type f` +./third_party/cpplint/cpplint.py --filter "$FILTERS" --root include `find ./include -type f` |