diff options
| author | Tom Tromey <tromey@redhat.com> | 2010-03-08 19:20:38 +0000 |
|---|---|---|
| committer | Tom Tromey <tromey@redhat.com> | 2010-03-08 19:20:38 +0000 |
| commit | e266e1b82fd14d9e2f73fd2351a342bed03ce3f5 (patch) | |
| tree | 190442650d418a5aa36bced8635ce7e41e5206a7 /gdb/main.h | |
| parent | 7de9954030ac525a6d7f5965103466eb4d755c51 (diff) | |
| download | gdb-e266e1b82fd14d9e2f73fd2351a342bed03ce3f5.tar.gz | |
gdb
PR cli/9591:
* NEWS: Update.
* utils.c: Include main.h.
(fputs_maybe_filtered): Don't paginate if `batch_flag'.
(defaulted_query): Use default answer if `batch_flag'.
* main.h (batch_flag): Declare.
* main.c (batch_flag): New global.
(captured_main): Remove 'batch'. Update.
gdb/doc
PR cli/9591:
* gdb.texinfo (Mode Options): Mention lack of pagination and
confirmation with --batch.
(Screen Size): Mention --batch.
(Messages/Warnings): Likewise.
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 |