On Tue, Oct 15, 2024 at 3:07 PM Alice Ryhl [off-list ref] 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`.
Cheers,
Miguel