diff options
Diffstat (limited to 'gdb/tui/tui-interp.c')
| -rw-r--r-- | gdb/tui/tui-interp.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gdb/tui/tui-interp.c b/gdb/tui/tui-interp.c index 9b92194dac3..e867441afb0 100644 --- a/gdb/tui/tui-interp.c +++ b/gdb/tui/tui-interp.c @@ -84,6 +84,10 @@ tui_on_normal_stop (struct bpstat *bs, int print_frame) if (!print_frame) return; + /* This event is suppressed. */ + if (cli_suppress_notification.normal_stop) + return; + SWITCH_THRU_ALL_UIS () { struct interp *interp = top_level_interpreter (); |