[m-rev.] for post-commit review: fix mantis bug 579

[Julien Fischer]

On Mon, 15 Dec 2025 at 11:39, Zoltan Somogyi <zoltan.somogyi at runbox.com>
wrote:

>
> ...
>
> Overall, the compiler pays attention to the value of the options_files
> option
> only when it decides in options_file.m what files to read. As you
> discovered,
> any changes after that have no effect. For the reasons above, I think
> that's fine.
> What is not fine is the absence of any mention of this limitation in the
> help text.
> I therefore propose that we add the following to that help text:
>
> Note that this option is intended to be used only on command lines.
> When specified in options files (i.e. in files named by --options-file
> options),
> it has no effect.
>

That's fine.

Julien.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20251215/dd21c5a5/attachment.html>