]> git.gag.com Git - fw/openocd/search
If halt times out, stop GDB. Allows e.g. manual reset via monitor commands.