equal
deleted
inserted
replaced
89 if (variable_prefix_ != NULL) |
89 if (variable_prefix_ != NULL) |
90 s4o.print(variable_prefix_); |
90 s4o.print(variable_prefix_); |
91 } |
91 } |
92 |
92 |
93 void print_line_directive(symbol_c *symbol) { |
93 void print_line_directive(symbol_c *symbol) { |
|
94 if (!generate_line_directives__) return; /* global variable generate_line_directives__ is defined in generate_c.cc */ |
94 s4o.print("#line "); |
95 s4o.print("#line "); |
95 s4o.print(symbol->first_line); |
96 s4o.print(symbol->first_line); |
96 s4o.print(" \""); |
97 s4o.print(" \""); |
97 s4o.print(symbol->first_file); |
98 s4o.print(symbol->first_file); |
98 s4o.print("\"\n"); |
99 s4o.print("\"\n"); |