Hi! On 2024-01-11T15:22:07+0100, Arthur Cohen <arthur.co...@embecosm.com> wrote: > Sorry about this - two simple changes to Makefile.def we had missed > during our first libgrust/ patchset
I don't think those were "missed" but rather "intentionally omitted"? I'll have to have a more detailed look. (..., and almost no changes in the top-level build system I'd personally dare to qualify as "simple"...) ;-P Grüße Thomas > plus the associated regen of > Makefile.in in each commit. > > Let me know if I should squash them together. I'll follow them up > with our entire patchset. > > Best, > > Arthur