From d5e77c05cb579069cbbd15c4c4f243d3ca7cb43f Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Tue, 30 Sep 2014 14:14:11 -0700 Subject: [PATCH] fix(emacs/lean-flycheck): fix error/warning pattern to work on windows --- src/emacs/lean-flycheck.el | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/emacs/lean-flycheck.el b/src/emacs/lean-flycheck.el index 960b8b66a..32cd0300b 100644 --- a/src/emacs/lean-flycheck.el +++ b/src/emacs/lean-flycheck.el @@ -43,12 +43,12 @@ (file-name) ":" line ":" (? column ":") " error: " (minimal-match (message (one-or-more (one-or-more not-newline) (? "\r") "\n"))) - "FLYCHECK_END" line-end) + "FLYCHECK_END" (? "\r") line-end) (warning line-start "FLYCHECK_BEGIN WARNING" (? "\r") "\n" (file-name) ":" line ":" (? column ":") " warning " (minimal-match (message (one-or-more (one-or-more not-newline) (? "\r") "\n"))) - "FLYCHECK_END" line-end)) + "FLYCHECK_END" (? "\r") line-end)) :modes (lean-mode))) (add-to-list 'flycheck-checkers 'lean-checker))