On Tue, Oct 15, 2024 at 4:44 PM Miguel Ojeda <[email protected]> wrote: > > On Tue, Oct 15, 2024 at 3:07 PM Alice Ryhl <[email protected]> wrote: > > > > Thank you. I was able to reproduce the error locally. It only happens > > when CONFIG_JUMP_LABEL is disabled. I've verified that this fixes it. > > You're welcome! > > By the way, if you end up sending a new version, then you could > simplify to `ifdef CONFIG_JUMP_LABEL`.
Too late! But I can do that if I send yet another version. Alice
