[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