1 files changed, 1 insertions, 0 deletions
diff --git a/gdb/main.h b/gdb/main.h
index d513575..0c97837 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