docs: mention extended-remote support
authorSpencer Oliver <spen@spen-soft.co.uk>
Thu, 18 Oct 2012 09:52:16 +0000 (10:52 +0100)
committerPeter Stuge <peter@stuge.se>
Thu, 18 Oct 2012 16:10:55 +0000 (16:10 +0000)
Change-Id: Idd7cc0364856082cbbfee5015e49cd7d237d68ef
Signed-off-by: Spencer Oliver <spen@spen-soft.co.uk>
Reviewed-on: http://openocd.zylin.com/913
Tested-by: jenkins
Reviewed-by: Peter Stuge <peter@stuge.se>
doc/openocd.texi

index 2cf1cbc..c2ee20d 100644 (file)
@@ -7579,6 +7579,11 @@ A socket (TCP/IP) connection is typically started as follows:
 target remote localhost:3333
 @end example
 This would cause GDB to connect to the gdbserver on the local pc using port 3333.
+
+It is also possible to use the GDB extended remote protocol as follows:
+@example
+target extended-remote localhost:3333
+@end example
 @item
 A pipe connection is typically started as follows:
 @example