diff options
author | Miguel de Icaza <miguel@gnome.org> | 2007-04-13 20:39:44 +0400 |
---|---|---|
committer | Miguel de Icaza <miguel@gnome.org> | 2007-04-13 20:39:44 +0400 |
commit | c1052c37629afb350070989c13fffafce3b7be86 (patch) | |
tree | a88c3086a38e3ca89cb04033e36070d6c44bb196 /README | |
parent | c057983d0ee5fa2b6b333ba2e4d30154b39c3531 (diff) |
Update
svn path=/trunk/mono/; revision=75684
Diffstat (limited to 'README')
-rw-r--r-- | README | 10 |
1 files changed, 10 insertions, 0 deletions
@@ -279,6 +279,16 @@ This is Mono. Or you can specify a path to a libgdiplus. + --disable-shared-memory + + Use this option to disable the use of shared memory in + Mono (this is equivalent to setting the MONO_DISABLE_SHM + environment variable, although this removes the feature + completely). + + Disabling the shared memory support will disable certain + features like cross-process named mutexes. + --enable-minimal=LIST Use this feature to specify optional runtime |