Re: [PATCH] linux-user: Remove the deprecated ppc64abi32 target

[Thomas Huth]

On 15/12/2021 12.17, Philippe Mathieu-Daudé wrote:
> On 12/15/21 09:49, Thomas Huth wrote:
> > It's likely broken, and nobody cared for picking it up again
> > during the deprecation phase, so let's remove this now.
> >
> > Since this is the last entry in deprecated_targets_list, remove
> > the related code in the configure script, too.
>
> Can we keep that part to keep the gate open to deprecate more
> targets / features?

It can simply be added again once we need it. Keeping it around would make 
the output of "configure --help" look weird, I think.

 Thomas