From c33f8948974b2c8614bec80860c6ec01a2a11d5f Mon Sep 17 00:00:00 2001 From: "Richard M. Stallman" Date: Wed, 16 Aug 2006 05:15:25 +0000 Subject: [PATCH] (debug_output_compilation_hack): New function. --- src/print.c | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/src/print.c b/src/print.c index c36b9476f82..ac8736d2aa4 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. */ + +int +debug_output_compilation_hack (x) + int x; +{ + print_output_debug_flag = x; +} #if defined(GNU_LINUX) -- 2.39.5