blob: bfe96e42ba7078f7b7f4d7e3ff2bb474b74ca563 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
#!/bin/bash
#this script should be in $PREFIX/bin
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}
else
_MONO_OPTIONS=$MONO_OPTIONS
fi
$MONO_EXEC $_MONO_OPTIONS "$EXE_PATH" "$@"
|