diff options
Diffstat (limited to 'gdb/main.h')
| -rw-r--r-- | gdb/main.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gdb/main.h b/gdb/main.h index 5e457249a8f..4b27c1a325f 100644 --- a/gdb/main.h +++ b/gdb/main.h @@ -34,5 +34,6 @@ extern int gdb_main (struct captured_main_args *); extern int return_child_result; extern int return_child_result_value; extern int batch_silent; +extern int batch_flag; #endif |