# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 1155705325 0
# Node ID 351a59835b3af81e8cafd560dec5f5e748d2a0df
# Parent  16ce988b5223a8be5fe31d99259709667ca768c3
(debug_output_compilation_hack): New function.

diff -r 16ce988b5223 -r 351a59835b3a src/print.c
--- a/src/print.c	Wed Aug 16 05:14:31 2006 +0000
+++ b/src/print.c	Wed Aug 16 05:15:25 2006 +0000
@@ -924,6 +924,15 @@
   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)