Your patch has just been merged into upstream git: http://openocd.git.sourceforge.net/git/gitweb.cgi?p=openocd/openocd;a=commit;h=e42363c0f6a26522159e286e1524487863b66618
I'll wait for next upstream release in order to close this bug report. Cheers, Luca -- .''`. ** Debian GNU/Linux ** | Luca Bruno (kaeso) : :' : The Universal O.S. | lucab (AT) debian.org `. `'` | GPG Key ID: 3BFB9FB3 `- http://www.debian.org | Debian GNU/Linux Developer
signature.asc
Description: PGP signature