diff options
author | Andrew Stubbs <andrew.stubbs@st.com> | 2008-05-02 13:58:38 +0000 |
---|---|---|
committer | Andrew Stubbs <andrew.stubbs@st.com> | 2008-05-02 13:58:38 +0000 |
commit | d01a8610c32e2e361b3b9f0f43c0011f84558371 (patch) | |
tree | 920d9f3fd8ab886b07856d34093ce717e04568fb /gdb/infrun.c | |
parent | 5009afc5ba7a0d57f28fbc834757145fe1f45549 (diff) | |
download | gdb-d01a8610c32e2e361b3b9f0f43c0011f84558371.zip gdb-d01a8610c32e2e361b3b9f0f43c0011f84558371.tar.gz gdb-d01a8610c32e2e361b3b9f0f43c0011f84558371.tar.bz2 |
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.
Diffstat (limited to 'gdb/infrun.c')
-rw-r--r-- | gdb/infrun.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/gdb/infrun.c b/gdb/infrun.c index 16a802b..582cb51 100644 --- a/gdb/infrun.c +++ b/gdb/infrun.c @@ -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; |