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 /debian | |
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 'debian')
-rw-r--r-- | debian/changelog | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/debian/changelog b/debian/changelog index 75aa90b..297fa4c 100644 --- a/debian/changelog +++ b/debian/changelog @@ -3,8 +3,10 @@ flex (2.6.0-10) unstable; urgency=low * Cherry pick fix from upstream. * Bug fix: "%option noline generates and error message", thanks to Arthur Schwarz (Closes: #729693). + * Bug fix: "flex --noline outputs a #line directive", thanks to Arthur + Schwarz (Closes: #729927). - -- Manoj Srivastava <srivasta@debian.org> Wed, 24 Feb 2016 14:48:38 -0800 + -- Manoj Srivastava <srivasta@debian.org> Wed, 24 Feb 2016 14:56:50 -0800 flex (2.6.0-9) unstable; urgency=low |