> On 5 Oct 2025, at 12:51, Antonio Borneo <[email protected]> wrote:
> 
> the drivers are disabled by default. They are not built unless you
> explicitly enable them at configure.

Yes, for consistency reasons between platforms, I prefer to explicitly 
enable/disable configuration options, and do not rely on defaults.

> I have pushed
> https://review.openocd.org/c/openocd/+/9159
> to prevent the build if the include file is missing.
> 
> Thanks for the report.

You're welcome! 


Regards,

Liviu


Reply via email to