changeset 878 | 89eb85bab58f |
parent 877 | c25346eac788 |
child 886 | 111414d79ecd |
--- a/stage4/generate_c/generate_c_base.cc Sun Mar 16 10:16:25 2014 +0000 +++ b/stage4/generate_c/generate_c_base.cc Sun Mar 16 13:02:28 2014 +0000 @@ -91,6 +91,7 @@ } void print_line_directive(symbol_c *symbol) { + if (!generate_line_directives__) return; /* global variable generate_line_directives__ is defined in generate_c.cc */ s4o.print("#line "); s4o.print(symbol->first_line); s4o.print(" \"");