As a follow-up to my earlier patch that John Woods submitted, here's a little patch that isn't special, but might as well have it: http://pastebin.com/f69a3276f To apply: wget -O- 'http://pastebin.com/pastebin.php?dl=f69a3276f' | patch -p0
_______________________________________________ Openocd-development mailing list Openocd-development@lists.berlios.de https://lists.berlios.de/mailman/listinfo/openocd-development
