| 
     
      
      
      From: Liviu I. <il...@li...> - 2025-10-05 10:08:24
      
     
   | 
> On 5 Oct 2025, at 12:51, Antonio Borneo <bor...@gm...> 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  |