If someone else on the list looks at your patch and thinks it is a good solution to the problem then that would help too.
Yes, this is a good solution. So, you can merge it. Laurent _______________________________________________ Openocd-development mailing list [email protected] https://lists.berlios.de/mailman/listinfo/openocd-development
