make.kak: Support fatal errors in errnext / errprev

This commit is contained in:
Maxime Coste 2014-07-28 19:40:34 +01:00
parent 8ed16bb2e9
commit 6e4b0f5781

View File

@ -46,7 +46,7 @@ def errjump -docstring 'Jump to error location' %{
def errnext -docstring 'Jump to next error' %{ def errnext -docstring 'Jump to next error' %{
eval -try-client %opt{jumpclient} %{ eval -try-client %opt{jumpclient} %{
buffer '*make*' buffer '*make*'
exec %rec{%opt{_make_current_error_line}ggl/[0-9]+: error:<ret>} exec %rec{%opt{_make_current_error_line}ggl/[0-9]+: (?:fatal )?error:<ret>}
errjump errjump
} }
} }
@ -54,7 +54,7 @@ def errnext -docstring 'Jump to next error' %{
def errprev -docstring 'Jump to previous error' %{ def errprev -docstring 'Jump to previous error' %{
eval -try-client %opt{jumpclient} %{ eval -try-client %opt{jumpclient} %{
buffer '*make*' buffer '*make*'
exec %rec{%opt{_make_current_error_line}ggh<a-/>[0-9]+: error:<ret>} exec %rec{%opt{_make_current_error_line}ggh<a-/>[0-9]+: (?:fatal )?error:<ret>}
errjump errjump
} }
} }