ale_linters/dafny: lint only saved files

2017-11-08 09:28:24 -08:00 · 2017-11-08 09:28:24 -08:00 · da8012971a
parent 105251c1de
commit da8012971a
1 changed files with 1 additions and 0 deletions
--- a/ale_linters/dafny/dafny.vim
+++ b/ale_linters/dafny/dafny.vim
@ -21,4 +21,5 @@ call ale#linter#Define('dafny', {
 \    'executable': 'dafny',
 \    'command': 'dafny %s /compile:0',
 \    'callback': 'ale_linters#dafny#dafny#Handle',
+\    'lint_file': 1,
 \ })