1 files changed, 10 insertions, 0 deletions
diff --git a/gdb/monitor.c b/gdb/monitor.c
index 97f5a504b4f..1650800130b 100644
--- a/gdb/monitor.c
+++ b/gdb/monitor.c
@@ -798,6 +798,16 @@ monitor_wait (pid, status)
     }
   while (resp_len < 0);
 
+  /* Print any output characters that were preceded by ^O.  */
+  if (current_monitor->flags & MO_PRINT_PROGRAM_OUTPUT)
+    {
+      int i;
+
+      for (i = 0; i < resp_len - 1; i++)
+	if (buf[i] == 0x0f)
+	  putchar_unfiltered (buf[++i]);
+    }
+
   signal (SIGINT, ofunc);
 
   timeout = old_timeout;