On 2024-12-13 7:27 a.m., Josh Grosse wrote:
> On Fri, Dec 13, 2024 at 12:12:25PM +0100, Manuel Giraud wrote:
>> Hi,
>>
>> I was not able to compile this.  I'm stuck on the following error:
>> [snip]
>> Error running '/usr/local/bin/clang-tidy': Segmentation fault
> Thank you for the report.  Will it build for you when clang-tools-extra is
> not installed?


Just add RUN_CLANG_TIDY=OFFto the Makefile.