2008-04-21  Andrew Stubbs  <andrew.stubbs@st.com>

	* infrun.c (normal_stop): Don't print source location when running in
	--batch-silent mode.

Index: src/gdb/infrun.c
===================================================================
--- src.orig/gdb/infrun.c	2008-04-21 18:47:00.000000000 +0100
+++ src/gdb/infrun.c	2008-04-21 18:48:32.000000000 +0100
@@ -3170,6 +3170,11 @@ Further execution is probably impossible
 
   if (!stop_stack_dummy)
     {
+      /* 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.  */
+      extern int batch_silent;
+
       select_frame (get_current_frame ());
 
       /* Print current location without a level number, if
@@ -3178,7 +3183,7 @@ Further execution is probably impossible
          bpstat_print() contains the logic deciding in detail
          what to print, based on the event(s) that just occurred. */
 
-      if (stop_print_frame)
+      if (stop_print_frame && !batch_silent)
 	{
 	  int bpstat_ret;
 	  int source_flag;