On Mon, 2020-10-05 at 11:36 -0700, Nick Desaulniers wrote: > I don't think there's anything wrong with manually including it and adding `-I > <path>` (capital i) if needed.
All of this is secondary to the actual change to use
quoted __section("foo") rather than __section(foo)
I'd rather get that done first and then figure out if
additional changes could be done later.
