diff options
author | Carl Worth <cworth@cworth.org> | 2010-08-23 09:31:42 -0700 |
---|---|---|
committer | Carl Worth <cworth@cworth.org> | 2010-08-23 10:48:10 -0700 |
commit | c2280e63817238bb969b20605c7d8dab4ddf1721 (patch) | |
tree | 3bbe17a4792a834c63cbb75a6bdd11e10ce16cf8 /src/glx | |
parent | ff10d239af3b48f4ba13a0ef947e97d3302ea818 (diff) |
glcpp: Fix handling of "#line 0"
The existing DECIMAL_INTEGER pattern is the correct thing to use when
looking for a C decimal integer, (that is, a digit-sequence not
starting with 0 which would instead be an octal integer).
But for #line, we really want to accept any digit sequence, (including
"0"), and always interpret it as a decimal constant. So we add a new
DIGITS pattern for this case.
This should fix the compilation failure noted in bug #28138
https://bugs.freedesktop.org/show_bug.cgi?id=28138
(Though the generated file will not be updated until the next commit.)
Diffstat (limited to 'src/glx')
0 files changed, 0 insertions, 0 deletions