On Fri, 21 Jul 2023, Luke Mewburn wrote:
That Makefile probably just needs to be adapted to ${TOOL_SED}. I'll try that for you
Seems to fix the issue - thanks :-)