Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/mono.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
path: root/README
diff options
context:
space:
mode:
authorMiguel de Icaza <miguel@gnome.org>2007-04-13 20:39:44 +0400
committerMiguel de Icaza <miguel@gnome.org>2007-04-13 20:39:44 +0400
commitc1052c37629afb350070989c13fffafce3b7be86 (patch)
treea88c3086a38e3ca89cb04033e36070d6c44bb196 /README
parentc057983d0ee5fa2b6b333ba2e4d30154b39c3531 (diff)
Update
svn path=/trunk/mono/; revision=75684
Diffstat (limited to 'README')
-rw-r--r--README10
1 files changed, 10 insertions, 0 deletions
diff --git a/README b/README
index d7eb8052644..4eff2aad485 100644
--- a/README
+++ b/README
@@ -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