diff options
author | w0rp <devw0rp@gmail.com> | 2017-07-17 00:17:59 +0100 |
---|---|---|
committer | w0rp <devw0rp@gmail.com> | 2017-07-17 00:17:59 +0100 |
commit | 23ea62d40a0661755672a8ab0707507c58019bf0 (patch) | |
tree | 282483c682d40aaa750e2eb3fb7ba7d8decb2f88 /doc | |
parent | 3352a6c9df427204bcbffba78fdf65906d3966d0 (diff) | |
download | ale-23ea62d40a0661755672a8ab0707507c58019bf0.zip |
#711 - Make the cpplint executable configurable
Diffstat (limited to 'doc')
-rw-r--r-- | doc/ale-cpp.txt | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/doc/ale-cpp.txt b/doc/ale-cpp.txt index ed852b48..854e9b4e 100644 --- a/doc/ale-cpp.txt +++ b/doc/ale-cpp.txt @@ -154,6 +154,14 @@ g:ale_cpp_cppcheck_options *g:ale_cpp_cppcheck_options* =============================================================================== cpplint *ale-cpp-cpplint* +g:ale_cpp_cpplint_executable *g:ale_cpp_cpplint_executable* + *b:ale_cpp_cpplint_executable* + Type: |String| + Default: `'cpplint'` + + This variable can be changed to use a different executable for cpplint. + + g:ale_cpp_cpplint_options *g:ale_cpp_cpplint_options* *b:ale_cpp_cpplint_options* Type: |String| |