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. -- Joseph S. Myers [email protected]
