[m-rev.] for review: proposed reclassification of options

[Julien Fischer]

On Tue, 3 Jun 2025 at 18:47, Zoltan Somogyi <zoltan.somogyi at runbox.com> wrote:

>
> > The cross_compiling option no longer does anything and is no longer documented.
> > Depending on when it was undocumented, it can probably be removed.
>
> What is the dependence?

If it was removed recently, we may want to keep it about for a bit in order to
prevent breaking existing Mmakefile / options files (if there are any
that use it).

Julien.