]> git.sur5r.net Git - openocd/search
gdb_server: only trigger once the event gdb-detach at gdb quit