---------- Переадресованное сообщение ----------
От: "Denis Shirokov" <
address@hidden>
Дата: 1 апр. 2017 г. 23:22
Тема: errout: wrong source line reported
Кому: <
address@hidden>
Копия:
hello
(please see screenshot attached)
there is two examples of how we can reproduce the issue.
at the left part of the screen you may see the gawk source, at the
right part of the screen - it's error output.
it's seems like the gawk reporting wrong source line error
kind regards
Denis Shirokov
_bug.png