From febeaad5bb7d9d5400b375d8b4908ad39d5338a3 Mon Sep 17 00:00:00 2001 From: Sebastian Ullrich Date: Tue, 11 Sep 2018 16:35:04 -0700 Subject: [PATCH] feat(lean4-mode/lean4-flycheck): store .olean of dependencies --- lean4-mode/lean4-flycheck.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lean4-mode/lean4-flycheck.el b/lean4-mode/lean4-flycheck.el index 888cb89057..9af32094ee 100644 --- a/lean4-mode/lean4-flycheck.el +++ b/lean4-mode/lean4-flycheck.el @@ -23,7 +23,7 @@ (let ((command (-concat `(,(lean4-get-executable lean4-executable-name)) lean4-extra-arguments - '("--json" "--stdin")))) + '("--json" "--make" "--stdin")))) command)) (cl-defun lean4-flycheck-parse-task (checker buffer cur-file-name