From e4a687c5eac0fd7db967cc453853eef256c9c69f Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Fri, 5 Sep 2014 19:10:45 -0700 Subject: [PATCH] fix(emacs/lean-tags): use the same linja option for tags-gen and flycheck --- src/emacs/lean-tags.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/emacs/lean-tags.el b/src/emacs/lean-tags.el index 3b012018f..245449e5d 100644 --- a/src/emacs/lean-tags.el +++ b/src/emacs/lean-tags.el @@ -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"))