This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: [patch] Do not break while asking with -batch
>>>>> "Jan" == Jan Kratochvil <jan.kratochvil@redhat.com> writes:
Tom> I think it would be reasonable to disable pagination if --batch or if
Tom> !input_from_terminal_p. Actually, I thought we already did this for
Tom> batch...
>From NEWS:
*** Changes in GDB 7.2
[...]
* The --batch flag now disables pagination and queries.
Apparently I missed the pagination part... oops.
Jan> 2010-07-23 Jan Kratochvil <jan.kratochvil@redhat.com>
Jan> * top.c (input_from_terminal_p): Return 0 on BATCH_FLAG.
Jan> * utils.c (defaulted_query): Do not explicitly check for BATCH_FLAG.
Jan> (fputs_maybe_filtered): Do not do filtering also on
Jan> ! INPUT_FROM_TERMINAL_P.
Ok.
I think this should go in 7.2, as well, given the above NEWS entry.
Tom