Jakub Jelinek writes:
> On Wed, Dec 21, 2022 at 09:56:33AM +, Richard Sandiford wrote:
>> Jakub Jelinek writes:
>> > The r13-2943-g11a113d501ff64 made aarch64.h include
>> > aarch64-option-extensions.def, but that file isn't installed
>> > for building plugins.
>> >
>> > The following patch s
On Wed, Dec 21, 2022 at 09:56:33AM +, Richard Sandiford wrote:
> Jakub Jelinek writes:
> > The r13-2943-g11a113d501ff64 made aarch64.h include
> > aarch64-option-extensions.def, but that file isn't installed
> > for building plugins.
> >
> > The following patch should fix that, ok for trunk if
Jakub Jelinek writes:
> Hi!
>
> The r13-2943-g11a113d501ff64 made aarch64.h include
> aarch64-option-extensions.def, but that file isn't installed
> for building plugins.
>
> The following patch should fix that, ok for trunk if it
> passes bootstrap/regtest + building plugin against it?
>
> 2022-1
