[m-rev.] for review: Fix MERCURY_OPTIONS -x option (disable GC).

Zoltan Somogyi zoltan.somogyi at runbox.com
Fri Jul 14 10:20:04 AEST 2023


On 2023-07-13 04:45 +02:00 CEST, "Peter Wang" <novalazy at gmail.com> wrote:
> runtime/mercury_wrapper.c:
>     Set a variable when MERCURY_OPTIONS contains -x.

That is fine.

Zoltan.


More information about the reviews mailing list