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

[Julien Fischer]

On Sun, 14 Dec 2025 at 19:02, Zoltan Somogyi <zoltan.somogyi at runbox.com>
wrote:

>
> Tomorrow I will look into adding a test case for this bug.
> (Adding a malformed MCFLAGS option to Mercury.options
> would affect *all* test cases in a test directory, not just one.)
>

It did occur to me that we could include a separate options file with the
malformed MCFLAGS option and put the following in Mercury.options:

    MCFLAGS-bug579 = --options-file bug579.options

but that doesn't work and is seemingly ignored.  Which leads to the
question,
is the --options-file option supposed to be usable from within .options
files?

The diff itself is fine.

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