diff options
author | Tobias Klauser <tklauser@distanz.ch> | 2016-02-23 15:39:24 +0100 |
---|---|---|
committer | Manoj Srivastava <srivasta@debian.org> | 2016-02-24 14:46:12 -0800 |
commit | c05dc855a3e0741e98173f542ec1383bf2c969b8 (patch) | |
tree | d9d0103334e7ffb5831716f5506a06799529ded9 /tests/lineno_r.one.txt | |
parent | 86ca4f322bbec8f52a76c1bf2a879bf464d9bb65 (diff) |
Allow '%option noline' in flex input file, resolves gh#56.
Allow specifying '%option noline' in the input file, leading to the same
effect as calling flex with the command line option --noline.
Signed-off-by: Tobias Klauser <tklauser@distanz.ch>
Diffstat (limited to 'tests/lineno_r.one.txt')
0 files changed, 0 insertions, 0 deletions