> Am 15.10.2025 um 22:16 schrieb Joseph Myers <[email protected]>:
>
> On Wed, 15 Oct 2025, Sandra Loosemore wrote:
>
>> Is it OK to finally delete this zombie option that has been useless and
>> undocumented for 18+ years? Or is it our policy to continue to support
>> now-useless options forever "for backwards compatibility with old
>> Makefiles"?,
>> perhaps marking them all "Undocumented" instead?
>
> If we do that (for non-semantic options that it's safe to ignore), the
> options in question are marked Ignore in common.opt; it certainly
> shouldn't have Var and Optimization.
By policy we never remove options but instead mark them as ignored. This also
prrevents accidental reuse in the future with possibly different semantics.
Richard
> --
> Joseph S. Myers
> [email protected]
>
