On 2010-04-15 00:48, Marcus Rausch wrote:
Hi,
how about the patch below? It apparently solves the problem, but I
don't know if it has any unwanted side effects.
Best regards
Marcus
*** gen.c-old 2007-05-31 08:21:57.000000000 +0200
--- gen.c 2010-04-14 23:58:47.000000000 +0200
***************
*** 2159,2164 ****
--- 2159,2165 ----
/* Copy remainder of input to output. */
+ linenum--;
line_directive_out (stdout, 1);
if (sectnum == 3) {
Seems to work (i tested it).
However, i would prefer that you remove one of the blank lines
*after* this #line directive. That way, the linenum variable
is left unchanged.
Hope this helps.
Denis Excoffier.
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org