diff options
| author | Greg Anders <greg@gpanders.com> | 2019-10-06 10:29:17 -0600 |
|---|---|---|
| committer | Greg Anders <greg@gpanders.com> | 2019-10-06 10:29:17 -0600 |
| commit | 06a97a854191b331b6ec37ef7ea0c59f671b1101 (patch) | |
| tree | 0580cf5283d89504a40e4f97f9f2c83142ea97f5 /rplugin | |
| parent | a486aa1d24294c5b14c8b2763a3b5ffdc39d0739 (diff) | |
| download | ale-06a97a854191b331b6ec37ef7ea0c59f671b1101.zip | |
Use Makefile output with clang-tidy when useful
In the case where neither a build directory nor a compile_commands.json
file is found, use the output of `make -n` to provide options to
clang-tidy.
Diffstat (limited to 'rplugin')
0 files changed, 0 insertions, 0 deletions