diff options
Diffstat (limited to 'gdb/blockframe.c')
| -rw-r--r-- | gdb/blockframe.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gdb/blockframe.c b/gdb/blockframe.c index bbd4287..6b0b667 100644 --- a/gdb/blockframe.c +++ b/gdb/blockframe.c @@ -192,6 +192,11 @@ flush_cached_frames () obstack_init (&frame_cache_obstack); current_frame = (struct frame_info *) 0; /* Invalidate cache */ + if (annotation_level > 1) + { + target_terminal_ours (); + printf_unfiltered ("\n\032\032frames-invalid\n"); + } } /* Flush the frame cache, and start a new one if necessary. */ |