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

fix(emacs/lean-tags): pass lean-flycheck-checker-options properly

Browse source 
Fix #153
This commit is contained in:
Soonho Kong 2014-09-08 10:52:13 -07:00
parent c365f6b9ab
commit a40894a712
1 changed files with 4 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
src/emacs/lean-tags.el
View file

@ -12,7 +12,10 @@
(let ((ltags-file-name (lean-get-executable "linja"))
tags-file-name)
(message "Generating TAGS...")
(call-process ltags-file-name nil nil nil (string-join lean-flycheck-checker-options " ") "TAGS")
(apply 'call-process
(append `(,ltags-file-name nil "*lean-tags*" nil)
lean-flycheck-checker-options
'("TAGS")))
(message "TAGS generated."))
(unless tags-table-list
(setq tags-file-name (lean-find-file-upward "TAGS"))