gdb_server: suggest user to prefer GDB extended mode 11/5311/3 master
authorAntonio Borneo <borneo.antonio@gmail.com>
Fri, 27 Sep 2019 11:17:15 +0000 (13:17 +0200)
committerAntonio Borneo <borneo.antonio@gmail.com>
Wed, 8 Jul 2020 21:08:40 +0000 (22:08 +0100)
commite8cfdd4a7208c4c2e7713eff46edecb4abbe37d6
tree004c5a9641e37262ffb27ac57a4c273bae5bd8a3
parent996ff5bcfc402227ac2f28601e931f30b62e393f
gdb_server: suggest user to prefer GDB extended mode

In case of GDB connection not using extended mode, issue a warning
message to suggest the user to switch using the extended mode.
Issue the message only once at each run of OpenOCD, to avoid too
much noise.
Update the documentation to suggest using extended mode.

Change-Id: I9326e84f748d5d7912d5a48f00f0fb541ca19221
Signed-off-by: Antonio Borneo <borneo.antonio@gmail.com>
Reviewed-on: http://openocd.zylin.com/5311
Tested-by: jenkins
Reviewed-by: Karl Palsson <karlp@tweak.net.au>
doc/openocd.texi
src/server/gdb_server.c