From 6e4b0f57811f71a7ae89304d3528bc9ac47d57e9 Mon Sep 17 00:00:00 2001 From: Maxime Coste Date: Mon, 28 Jul 2014 19:40:34 +0100 Subject: [PATCH] make.kak: Support fatal errors in errnext / errprev --- rc/make.kak | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/rc/make.kak b/rc/make.kak index 79bc892e..8e92e22d 100644 --- a/rc/make.kak +++ b/rc/make.kak @@ -46,7 +46,7 @@ def errjump -docstring 'Jump to error location' %{ def errnext -docstring 'Jump to next error' %{ eval -try-client %opt{jumpclient} %{ buffer '*make*' - exec %rec{%opt{_make_current_error_line}ggl/[0-9]+: error:} + exec %rec{%opt{_make_current_error_line}ggl/[0-9]+: (?:fatal )?error:} errjump } } @@ -54,7 +54,7 @@ def errnext -docstring 'Jump to next error' %{ def errprev -docstring 'Jump to previous error' %{ eval -try-client %opt{jumpclient} %{ buffer '*make*' - exec %rec{%opt{_make_current_error_line}ggh[0-9]+: error:} + exec %rec{%opt{_make_current_error_line}ggh[0-9]+: (?:fatal )?error:} errjump } }