2008-05-02 Andrew Stubbs <andrew.stubbs@st.com>

* main.h (batch_silent): Declare.
	* event-top.c: Include main.h.
	(gdb_setup_readline): Remove extern batch_silent declaration.
	* infrun.c (normal_stop): Don't print source location when running in
	--batch-silent mode.
	* Makefile.in (event-top.o): Add main.h dependency.
This commit is contained in:
Andrew Stubbs
2008-05-02 13:58:38 +00:00
parent 5009afc5ba
commit d01a8610c3
5 changed files with 16 additions and 4 deletions

View File

@@ -3171,7 +3171,10 @@ Further execution is probably impossible.\n"));
bpstat_print() contains the logic deciding in detail
what to print, based on the event(s) that just occurred. */
if (stop_print_frame)
/* If --batch-silent is enabled then there's no need to print the current
source location, and to try risks causing an error message about
missing source files. */
if (stop_print_frame && !batch_silent)
{
int bpstat_ret;
int source_flag;