diff options
author | w0rp <devw0rp@gmail.com> | 2020-08-29 16:05:49 +0100 |
---|---|---|
committer | w0rp <devw0rp@gmail.com> | 2020-08-29 16:05:49 +0100 |
commit | 7e0cdb53ecf9c94bb8777a57de8bf2aacca46b5d (patch) | |
tree | ed3a73c3128f80dd96e5f9409a64fdb1c4183226 /doc/ale-cpp.txt | |
parent | bc3a843e102d4490b2476b53531807ab624417e7 (diff) | |
download | ale-7e0cdb53ecf9c94bb8777a57de8bf2aacca46b5d.zip |
Fix #3247 - Use --always-make for make -n by default
Diffstat (limited to 'doc/ale-cpp.txt')
-rw-r--r-- | doc/ale-cpp.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/ale-cpp.txt b/doc/ale-cpp.txt index 651b4160..17894e6e 100644 --- a/doc/ale-cpp.txt +++ b/doc/ale-cpp.txt @@ -10,6 +10,7 @@ Global Options The following C options also apply to some C++ linters too. +* |g:ale_c_always_make| * |g:ale_c_build_dir_names| * |g:ale_c_build_dir| * |g:ale_c_parse_makefile| |