(Fexternal_debugging_output): On Windows output to debugger.

diff --git a/src/print.c b/src/print.c
index 67b30802f947f409f80ee25371d54ffe9ca53b07..d1c310ec246ff100f4eeb6961780f15f9986dd4d 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;
 }