version 1.17, 2011/04/06 11:36:26 |
version 1.18, 2013/11/26 21:08:09 |
|
|
break; |
break; |
} |
} |
if (linebuf[0] == '#') { |
if (linebuf[0] == '#') { |
if (linebuf[1] == ' ' && isdigit(linebuf[2])) |
if (linebuf[1] == ' ' && |
|
isdigit((unsigned char)linebuf[2])) |
printf("#line%s", &linebuf[1]); |
printf("#line%s", &linebuf[1]); |
else |
else |
printf("%s", linebuf); |
printf("%s", linebuf); |
|
|
octdigit(char c) |
octdigit(char c) |
{ |
{ |
|
|
return (isdigit(c) && c != '8' && c != '9'); |
return (isdigit((unsigned char)c) && c != '8' && c != '9'); |
} |
} |
|
|
void |
void |