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

fix(emacs/lean-tags): use the same linja option for tags-gen and flycheck

Browse source
This commit is contained in:
Soonho Kong 2014-09-05 19:10:45 -07:00
parent 8610330cc4
commit e4a687c5ea
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

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