[m-rev.] for review: revert boehm gc munmap customisations

[Julien Fischer]

On Mon, 1 Mar 2010, Peter Wang wrote:

> Branches: main
>
> The version of Boehm GC that we recently upgraded to already contains support
> for enabling or disabling munmap() support at runtime.
>
> boehm_gc/allchblk.c:
> boehm_gc/alloc.c:
> boehm_gc/include/gc.h:
> boehm_gc/include/private/gc_priv.h:
> boehm_gc/malloc.c:
>         Back out our customisations related to munmap.
>
> doc/user_guide.texi:
> runtime/mercury_wrapper.c:
>         Delete the `--boehm-gc-munmap' MERCURY_OPTIONS variable.  Unmapping
>         will be enabled by default (if compiled in).  To disable it at runtime
>         you can set an environment variable `GC_MUNMAP_THRESHOLD=0'.

That's fine.

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------