From 246d4224bc60e6bd401822cf33caac8052c90be4 Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Sat, 30 Aug 2014 14:55:12 -0700 Subject: [PATCH] feat(emacs/lean-tags): call "linja TAGS" to make TAGS fix #117 --- src/emacs/lean-tags.el | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/emacs/lean-tags.el b/src/emacs/lean-tags.el index 3d8fa45ee..3ecfa6238 100644 --- a/src/emacs/lean-tags.el +++ b/src/emacs/lean-tags.el @@ -7,11 +7,11 @@ (require 'dash) (defun lean-generate-tags () - "Run lmake TAGS and let emacs use the generated TAGS file." + "Run linja TAGS and let emacs use the generated TAGS file." (interactive) - (let ((ltags-file-name (lean-get-executable "lmake")) + (let ((ltags-file-name (lean-get-executable "linja")) tags-file-name) - (call-process ltags-file-name nil nil nil "TAGS" "--jobs" "--keep-going" "--permissive")) + (call-process ltags-file-name nil nil nil "TAGS")) (unless tags-table-list (setq tags-file-name (lean-find-file-upward "TAGS")) (when tags-file-name @@ -23,7 +23,7 @@ (symbol-name f)))) `(defadvice ,f (before ,(intern advice-name) first activate) - ,(concat "Before call " f-name ", run 'lmake TAGS'") + ,(concat "Before call " f-name ", run 'linja TAGS'") (when (derived-mode-p 'lean-mode) (lean-generate-tags)))))