diff options
Diffstat (limited to 'etc/cpplint')
| -rw-r--r-- | etc/cpplint/CPPLINT.cfg | 2 | ||||
| -rw-r--r-- | etc/cpplint/cpplint.cfg | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/etc/cpplint/CPPLINT.cfg b/etc/cpplint/CPPLINT.cfg deleted file mode 100644 index 7bdd508..0000000 --- a/etc/cpplint/CPPLINT.cfg +++ /dev/null @@ -1,2 +0,0 @@ -filter=-build/include_subdir,-legal/copyright,-readability/alt_tokens,-readability/braces,-readability/casting,-readability/multiline_comment,-runtime/int,-runtime/threadsafe_fn,-whitespace/blank_line,-whitespace/braces - diff --git a/etc/cpplint/cpplint.cfg b/etc/cpplint/cpplint.cfg new file mode 100644 index 0000000..b0b018d --- /dev/null +++ b/etc/cpplint/cpplint.cfg @@ -0,0 +1,2 @@ +filter=-build/include_order,-build/include_subdir,-legal/copyright,-readability/alt_tokens,-readability/braces,-readability/casting,-readability/multiline_comment,-runtime/int,-runtime/printf,-runtime/threadsafe_fn,-whitespace/blank_line,-whitespace/braces,-whitespace/parens + |