Output line number information in processed sources

This commit is contained in:
jjgarcia 2005-06-01 13:05:31 +00:00
parent 098127e17c
commit baab67ed7c

View file

@ -136,7 +136,7 @@ int nres;
put_lineno(void)
{
static int flag = 0;
#if 0
#if 1
if (flag)
fprintf(out, "#line %d\n", lineno);
else {