diff -r c25346eac788 -r 89eb85bab58f stage4/generate_c/generate_c_base.cc
--- 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(" \"");