michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

feat(emacs/lean-settings): enable linja '--keep-going' option

Browse source 
Fix #234
This commit is contained in:
Soonho Kong 2014-10-08 13:12:16 -07:00
parent b6d475c3ac
commit 24227f0e51
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/emacs/lean-settings.el
View file

@ -82,7 +82,8 @@ show both of expressions and types.")
(integer :tag "Specify the value and force lean-mode to use")))
(defcustom lean-flycheck-checker-options
`("--flycheck"
`("--keep-going" ,(format "%d" 999)
"--flycheck"
"--flycheck-max-messages" ,(format "%d" lean-flycheck-max-messages-to-display))
"lean-flychecker checker option"
:group 'lean)