handle #line (hopefully)

This commit is contained in:
Bill Currie 2007-04-06 11:27:03 +00:00 committed by Jeff Teunissen
parent 966c337bf5
commit 6d21c50dee

View file

@ -113,6 +113,7 @@ FRAMEID {ID}(\.{ID})*
"//".* /* nothing to do */ "//".* /* nothing to do */
^#{s}+{DIGIT}+{s}+\"(\.|[^"\n])*\".*$ { line_info (yytext + 1); } ^#{s}+{DIGIT}+{s}+\"(\.|[^"\n])*\".*$ { line_info (yytext + 1); }
^#line{s}+{DIGIT}+{s}+\"(\.|[^"\n])*\".*$ { line_info (yytext + 5); }
^{s}*#{s}*pragma.*$ /* skip */ ^{s}*#{s}*pragma.*$ /* skip */