echo "Please report your experience with this file to openocd-devel mailing list,"
echo "so it could be marked as working or fixed."
echo "Please report your experience with this file to openocd-devel mailing list,"
echo "so it could be marked as working or fixed."