diff options
Diffstat (limited to 'gdb/mi/mi-main.h')
| -rw-r--r-- | gdb/mi/mi-main.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gdb/mi/mi-main.h b/gdb/mi/mi-main.h index 3ad6d0f..4de0983 100644 --- a/gdb/mi/mi-main.h +++ b/gdb/mi/mi-main.h @@ -33,6 +33,7 @@ extern char *current_token; extern int running_result_record_printed; extern int mi_proceeded; +extern int mi_suppress_breakpoint_notifications; #endif |