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 90a61e3..c8e0b7e 100644 --- a/gdb/mi/mi-main.h +++ b/gdb/mi/mi-main.h @@ -31,6 +31,7 @@ extern void mi_print_timing_maybe (void); extern char *current_token; extern int running_result_record_printed; +extern int mi_proceeded; #endif |