[m-rev.] for review: move invoked_by_mmc_make into the op_mode

[Julien Fischer]

On Sat, 11 Mar 2023, Zoltan Somogyi wrote:

> Make invoked_by_mmc_make part of the op_mode.
> 
> compiler/op_mode.m:
>     Add a field that specifies whether the compiler was invoked by
>     "mmc --make" to the opm_top_args top-level op_mode. This is the
>     class of op_modes for which we need that info.
>
>     Fill in this new field from the value of the --invoked-by-mmc-make
>     option.

...

That's fine.

Julien.