From 6f23a1c92f40b68a5dfd49f48ba3876c2db02b3e Mon Sep 17 00:00:00 2001 From: Manoj Srivastava Date: Wed, 24 Feb 2016 14:57:22 -0800 Subject: 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 --- debian/changelog | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'debian/changelog') 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 Wed, 24 Feb 2016 14:48:38 -0800 + -- Manoj Srivastava Wed, 24 Feb 2016 14:56:50 -0800 flex (2.6.0-9) unstable; urgency=low -- cgit v1.2.3