gdb/
[binutils-gdb.git] / gdb / main.h
index 5e457249a8fc2ba4ab0dc5bc8d5c09996a1c9316..fbbc473a45729671409a73ffb423c4a1aca4bf0d 100644 (file)
@@ -1,6 +1,7 @@
 /* Main interface for GDB, the GNU debugger.
 
-   Copyright (C) 2002, 2007, 2008, 2009, 2010 Free Software Foundation, Inc.
+   Copyright (C) 2002, 2007, 2008, 2009, 2010, 2011
+   Free Software Foundation, Inc.
 
    This file is part of GDB.
 
@@ -34,5 +35,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