diff options
Diffstat (limited to 'src/print.c')
| -rw-r--r-- | src/print.c | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/print.c b/src/print.c index 5f42683753d..d5ff1be6b31 100644 --- a/src/print.c +++ b/src/print.c @@ -924,6 +924,15 @@ to make it write to the debugging output. */) return character; } +/* This function is never called. Its purpose is to prevent + print_output_debug_flag from being optimized away. */ + +void +debug_output_compilation_hack (x) + int x; +{ + print_output_debug_flag = x; +} #if defined(GNU_LINUX) |