On 20/04/2021 21:13, Jon Turney wrote: > For ease of reviewing, this patch doesn't contain changes to generated > files which would be made by running ./autogen.sh. I pushed this patch. If you have an existing build directory, while you might get away with invoking 'make' at the top-level, I would recommend blowing it away and configuring again.