]> granicus.if.org Git - flex/commit
filter: Output correct #line value for current file.
authorJeff Smith <whydoubt@gmail.com>
Sat, 1 Apr 2017 06:18:12 +0000 (01:18 -0500)
committerWill Estes <westes575@gmail.com>
Sun, 14 May 2017 10:31:56 +0000 (06:31 -0400)
commit2c7e34bb958ac5d083b2bab4c89907cd0669196d
tree7de07ce7b5d8ca00e632475e11b3ff305138c03b
parent596a221844c8b13696f83183f44d3fcc7184f464
filter: Output correct #line value for current file.

A #line pre-processor directive specifies the line number and source
file of the following lines. If the source file _is_ the current file,
the line number should be that of the line following the directive. So
the specified line number should be the current line number plus 1.
src/filter.c