From a40894a712a2c94ae2d3fb2f082a3d1f3524b70c Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Mon, 8 Sep 2014 10:52:13 -0700 Subject: [PATCH] fix(emacs/lean-tags): pass lean-flycheck-checker-options properly Fix #153 --- src/emacs/lean-tags.el | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/emacs/lean-tags.el b/src/emacs/lean-tags.el index 245449e5d..7489a327d 100644 --- a/src/emacs/lean-tags.el +++ b/src/emacs/lean-tags.el @@ -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"))