[ob] GC push_remote_target

[Pedro Alves <pedro at codesourcery dot com>]

The download targets are long gone.  Last we heard of 'em, Vladimir
whacked the download_stratum enumeration.

Committed.

-- 
Pedro Alves

2008-10-16  Pedro Alves  <pedro@codesourcery.com>

	* remote.c (push_remote_target): Delete.
	* target.h (push_remote_target): Delete declaration.

---
 gdb/remote.c |   17 -----------------
 gdb/target.h |    3 ---
 2 files changed, 20 deletions(-)

Index: src/gdb/remote.c
===================================================================
--- src.orig/gdb/remote.c	2008-10-16 14:56:42.000000000 +0100
+++ src/gdb/remote.c	2008-10-16 14:59:29.000000000 +0100
@@ -5995,23 +5995,6 @@ remote_remove_hw_breakpoint (struct bp_t
 		  _("remote_remove_hw_breakpoint: reached end of function"));
 }
 
-/* Some targets are only capable of doing downloads, and afterwards
-   they switch to the remote serial protocol.  This function provides
-   a clean way to get from the download target to the remote target.
-   It's basically just a wrapper so that we don't have to expose any
-   of the internal workings of remote.c.
-
-   Prior to calling this routine, you should shutdown the current
-   target code, else you will get the "A program is being debugged
-   already..." message.  Usually a call to pop_target() suffices.  */
-
-void
-push_remote_target (char *name, int from_tty)
-{
-  printf_filtered (_("Switching to remote protocol\n"));
-  remote_open (name, from_tty);
-}
-
 /* Table used by the crc32 function to calcuate the checksum.  */
 
 static unsigned long crc32_table[256] =
Index: src/gdb/target.h
===================================================================
--- src.orig/gdb/target.h	2008-10-16 14:57:00.000000000 +0100
+++ src/gdb/target.h	2008-10-16 14:59:36.000000000 +0100
@@ -1301,9 +1301,6 @@ extern int default_target_signal_to_host
 /* Convert from a number used in a GDB command to an enum target_signal.  */
 extern enum target_signal target_signal_from_command (int);
 
-/* Any target can call this to switch to remote protocol (in remote.c). */
-extern void push_remote_target (char *name, int from_tty);
-
 /* Set the show memory breakpoints mode to show, and installs a cleanup
    to restore it back to the current value.  */
 extern struct cleanup *make_show_memory_breakpoints_cleanup (int show);