diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/lint-hunks.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/lint-hunks.py b/tools/lint-hunks.py index b15a69143..6e25d9362 100755 --- a/tools/lint-hunks.py +++ b/tools/lint-hunks.py @@ -24,7 +24,7 @@ TOPLEVEL_CMD = ["git", "rev-parse", "--show-toplevel"] DIFF_CMD = ["git", "diff"] DIFF_INDEX_CMD = ["git", "diff-index", "-u", "HEAD", "--"] SHOW_CMD = ["git", "show"] -CPPLINT_FILTERS = ["-readability/casting", "-runtime/int"] +CPPLINT_FILTERS = ["-readability/casting"] class Usage(Exception): |