diff options
| author | Tobias Klauser <tklauser@distanz.ch> | 2017-01-12 10:49:32 +0100 |
|---|---|---|
| committer | Will Estes <westes575@gmail.com> | 2017-01-12 17:44:00 -0500 |
| commit | de0c5e91df965b014b0c0a6f27cafd30a65a7065 (patch) | |
| tree | 5087f83ca3e84f9d16fa7f568b1c3223d11cf3bd /src/Makefile.am | |
| parent | 84a9a4b9fca2717f23729101449a5fdae9ba9b60 (diff) | |
filter: Don't emit #line if %option noline set
One place emitting a #line directive to the generated header was
missed in commit 647a92b9f4 when resolving #55. Fix it to respect
gen_line_dirs as well.
Diffstat (limited to 'src/Makefile.am')
0 files changed, 0 insertions, 0 deletions