diff options
author | Miguel de Icaza <miguel@gnome.org> | 2016-02-02 23:30:29 +0300 |
---|---|---|
committer | Miguel de Icaza <miguel@gnome.org> | 2016-02-03 17:24:14 +0300 |
commit | a1736489833a4f89da05eaf6fbd722b71a192a7d (patch) | |
tree | dbb35bbb6366c0e38aabfc968a427ac98da19901 | |
parent | b9844d2404aaae71d06649305c55023cced87b70 (diff) |
Document Coop mode in README
-rw-r--r-- | README.md | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/README.md b/README.md index 96559ab5c34..f8f05423a34 100644 --- a/README.md +++ b/README.md @@ -194,6 +194,13 @@ Disables the inclusion of a garbage collector. * This defaults to `included`. +* `--with-cooperative-gc` + + * If you pass this flag the Mono runtime is configured to only use + the cooperative mode of the garbage collector. If you do not pass + this flag, then you can control at runtime the use of the + cooperative GC mode by setting the `MONO_ENABLE_COOP` flag. + * `--with-tls=__thread,pthread` * Controls how Mono should access thread local storage, |