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

github.com/mono/monodevelop.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'main/mdtool.in')
-rw-r--r--main/mdtool.in3
1 files changed, 0 insertions, 3 deletions
diff --git a/main/mdtool.in b/main/mdtool.in
index bfe96e42ba..30f44c99e2 100644
--- a/main/mdtool.in
+++ b/main/mdtool.in
@@ -4,9 +4,6 @@
MONO_EXEC="exec -a mdtool mono"
EXE_PATH="${0%%/bin/mdtool}/lib/monodevelop/bin/mdrun.exe"
-# MD uses SHM to communicate with the remoted builder processes
-export MONO_ENABLE_SHM=1
-
##NOTE: remove this for stable releases
if [ -z "$MD_NO_DEBUG" ]; then
_MONO_OPTIONS=${MONO_OPTIONS:---debug}