From 4eb8a9b192fb6ea3b673f890d83a48ec9bb89ba1 Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Mon, 8 Sep 2014 23:48:39 -0700 Subject: [PATCH] feat(emacs/lean-flycheck): "real" .clean file instead of "flycheck_real.clean" Fix #140 --- src/emacs/lean-flycheck.el | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/emacs/lean-flycheck.el b/src/emacs/lean-flycheck.el index a3e0c2dae1..b1ede1f558 100644 --- a/src/emacs/lean-flycheck.el +++ b/src/emacs/lean-flycheck.el @@ -11,6 +11,8 @@ (cl-concatenate 'list `(,(lean-get-executable lean-flycheck-checker-name)) lean-flycheck-checker-options + '("--cache") + '(source-original) '("--") '(source-inplace))) @@ -75,7 +77,7 @@ (tempbase (file-name-base tempname)) (tempfile (expand-file-name tempbase (file-name-directory filename))) - (exts '(".ilean" ".d" ".clean" ".olean")) + (exts '(".ilean" ".d" ".olean")) (tempfiles (--map (concat tempfile it) exts))) (mapc #'flycheck-safe-delete tempfiles))))