Sorry about the noise. I also found 500 emails in my inbox. The problem is solved, so hopefully no more noise now.
//Peter _______________________________________________ Openocd-development mailing list Openocd-development@lists.berlios.de https://lists.berlios.de/mailman/listinfo/openocd-development
