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

Reply via email to