diff options
author | Manoj Srivastava <srivasta@debian.org> | 2016-02-24 14:57:22 -0800 |
---|---|---|
committer | Manoj Srivastava <srivasta@debian.org> | 2016-02-24 14:57:22 -0800 |
commit | 6f23a1c92f40b68a5dfd49f48ba3876c2db02b3e (patch) | |
tree | bf02f021f1a9fdb2a6a6053a1351a6db3aab654b /ABOUT-NLS | |
parent | 7b308a5f1652444a812ba39bce631cd895449c3a (diff) |
Emit no #line directives if gen_line_dirs is false
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.
Bug fix: "flex --noline outputs a #line directive", thanks to Arthur
Schwarz (Closes: #729927).
Signed-off-by: Manoj Srivastava <srivasta@debian.org>
Diffstat (limited to 'ABOUT-NLS')
0 files changed, 0 insertions, 0 deletions