On 12.02.2023 20:24, Jonathan Wakely via Gcc-help wrote: >> gcc is at version 12.2.0. Worth submitting a bug report? >> > > > probably not > I think I've found a workaround. Adding gcc_cv_objdump=${TARGET}-objdump to the make command. But that seems like a bug to me, doesn't it? -- chs