On Tue, Oct 15, 2024 at 4:44 PM Miguel Ojeda
[off-list ref] wrote:
On Tue, Oct 15, 2024 at 3:07 PM Alice Ryhl [off-list ref] wrote:
quoted
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