On Thu, Jan 12, 2023 at 03:20:25AM +0100, Neels Hofmeyr wrote: > I took a closer look: dropped the build dir and did 'git clean -dxf' -- after > that indeed the build works! Possibly there is a missing dependency in the > makefiles. I suppose I should have tried that before writing the mail, sorry... No problem, thanks for confirming things work fine there.
