(Fexternal_debugging_output): On Windows output to debugger.

diff --git a/src/print.c b/src/print.c
index 67b3080..d1c310e 100644 (file)
--- a/src/print.c
+++ b/src/print.c
@@ -731,7 +731,15 @@ to make it write to the debugging output.\n")
 {
   CHECK_NUMBER (character, 0);
   putc (XINT (character), stderr);
-  
+
+#ifdef WINDOWSNT
+  /* Send the output to a debugger (nothing happens if there isn't one).  */
+  {
+    char buf[2] = {(char) XINT (character), '\0'};
+    OutputDebugString (buf);
+  }
+#endif
+
   return character;
 }