Lines Matching defs:line
108 printf("%% file %s, line %d\n", current_filename, current_lineno);
112 void do_so(const char *line)
114 const char *p = line;
152 fputs(line, stdout);
230 string line;
232 line += c;
234 line += '\n';
235 line += '\0';
236 do_so(line.contents());
262 string line;
264 line += c;
266 line += '\n';
267 line += '\0';
268 interpret_lf_args(line.contents());
269 printf(".lf%s", line.contents());