diff options
| author | w0rp <devw0rp@gmail.com> | 2017-07-16 22:41:15 +0100 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2017-07-16 22:41:15 +0100 |
| commit | 9e8387890044726538a7b5f108efdf6a82d59b00 (patch) | |
| tree | ce6ee693e5d2e7775415b09825e6dbaf0e85ddcb /doc/ale-cpp.txt | |
| parent | 58717e05a3af56e8937dc5e794523e3184d5d530 (diff) | |
| download | ale-9e8387890044726538a7b5f108efdf6a82d59b00.zip | |
#711 - Make the gcc executables configurable
Diffstat (limited to 'doc/ale-cpp.txt')
| -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 f5e7863b..b84b5e2e 100644 --- a/doc/ale-cpp.txt +++ b/doc/ale-cpp.txt @@ -148,6 +148,14 @@ g:ale_cpp_cpplint_options *g:ale_cpp_cpplint_options* =============================================================================== gcc *ale-cpp-gcc* +g:ale_cpp_gcc_executable *g:ale_cpp_gcc_executable* + *b:ale_cpp_gcc_executable* + Type: |String| + Default: `'gcc'` + + This variable can be changed to use a different executable for gcc. + + g:ale_cpp_gcc_options *g:ale_cpp_gcc_options* *b:ale_cpp_gcc_options* Type: |String| |