diff options
| author | James Thomas <james.thomas@rockwellcollins.com> | 2019-05-23 15:52:57 -0400 |
|---|---|---|
| committer | James Thomas <james.thomas@rockwellcollins.com> | 2019-05-23 15:52:57 -0400 |
| commit | 5537645ea519063c0314659a4c3651d34245d51b (patch) | |
| tree | c87bf8adbff79790050e238c020e86e2d4816638 /rc/tools/python | |
| parent | 9ffde03ca74ce691882c47776fe8d014792dff4c (diff) | |
changes the name of a buffer being linted from /tmp/kak-lint.XXXXXX/buf.$extension to /tmp/kak-lint.XXXXXX/$filename. This allows the linter to compile Java files, which fail to compile if the Class name does not match the File name being linted.
Diffstat (limited to 'rc/tools/python')
0 files changed, 0 insertions, 0 deletions