diff options
Diffstat (limited to 'gdb/remote.c')
| -rw-r--r-- | gdb/remote.c | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/gdb/remote.c b/gdb/remote.c index 5d1ac7f..c88a13c 100644 --- a/gdb/remote.c +++ b/gdb/remote.c @@ -3972,9 +3972,12 @@ putpkt_binary (char *buf, int cnt) { if (remote_debug) fprintf_unfiltered (gdb_stdlog, "Packet instead of Ack, ignoring it\n"); - /* It's probably an old response, and we're out of sync. - Just gobble up the packet and ignore it. */ + /* It's probably an old response sent because an ACK + was lost. Gobble up the packet and ack it so it + doesn't get retransmitted when we resend this + packet. */ read_frame (junkbuf, sizeof_junkbuf); + serial_write (remote_desc, "+", 1); continue; /* Now, go look for + */ } default: |