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 d5135753027..0c97837024c 100644 --- a/gdb/main.h +++ b/gdb/main.h @@ -33,5 +33,6 @@ extern int gdb_main (struct captured_main_args *); /* From main.c. */ extern int return_child_result; extern int return_child_result_value; +extern int batch_silent; #endif |