diff options
author | Tobias Klauser <tklauser@distanz.ch> | 2016-02-23 15:59:42 +0100 |
---|---|---|
committer | Manoj Srivastava <srivasta@debian.org> | 2016-02-24 14:53:21 -0800 |
commit | 58213fd78e208381815502c0574d8d0c1c467f85 (patch) | |
tree | 265a609c653ded88d2f6fadfc248ccc254f24919 /debian | |
parent | 86ca4f322bbec8f52a76c1bf2a879bf464d9bb65 (diff) |
Emit no #line directives if gen_line_dirs is false, resolves igh#55.
There are two instances in the code which will print a #line directive
to the resulting lexer, regardless of the value of gen_line_dirs. Fix
them, so they also respect gen_line_dirs.
Signed-off-by: Tobias Klauser <tklauser@distanz.ch>
Signed-off-by: Manoj Srivastava <srivasta@debian.org>
# Conflicts:
# src/buf.c
Diffstat (limited to 'debian')
0 files changed, 0 insertions, 0 deletions