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