diff options
-rw-r--r-- | main/mdtool.in | 2 | ||||
-rwxr-xr-x | main/monodevelop.in | 7 |
2 files changed, 2 insertions, 7 deletions
diff --git a/main/mdtool.in b/main/mdtool.in index 614f0b3943..8f037e7b13 100644 --- a/main/mdtool.in +++ b/main/mdtool.in @@ -1,7 +1,7 @@ #!/usr/bin/env bash #this script should be in $PREFIX/bin -MONO_EXEC="exec -a mdtool mono" +MONO_EXEC="exec -a mdtool mono-sgen" EXE_PATH="${0%%/bin/mdtool}/lib/monodevelop/bin/mdtool.exe" ##NOTE: remove this for stable releases diff --git a/main/monodevelop.in b/main/monodevelop.in index 10b3c6cd11..df63d7848c 100755 --- a/main/monodevelop.in +++ b/main/monodevelop.in @@ -8,7 +8,7 @@ export LIBOVERLAY_SCROLLBAR=0 #this script should be in $PREFIX/bin -MONO_EXEC="exec -a monodevelop mono" +MONO_EXEC="exec -a monodevelop mono-sgen" EXE_PATH="${0%%/bin/monodevelop}/lib/monodevelop/bin/MonoDevelop.exe" _MD_REDIRECT_LOG="${MD_REDIRECT_LOG:-${XDG_CONFIG_HOME:-$HOME/.config}/MonoDevelop/log}" @@ -20,11 +20,6 @@ else _MONO_OPTIONS=$MONO_OPTIONS fi -MONO_RECOMMENDED_VERSION_FOR_SGEN=3.0 -if pkg-config --atleast-version=$MONO_RECOMMENDED_VERSION_FOR_SGEN mono; then - MONO_OPTIONS="$MONO_OPTIONS --gc=sgen" -fi - if [ -n "$_MD_REDIRECT_LOG" ]; then mkdir -p `dirname "$_MD_REDIRECT_LOG"` $MONO_EXEC $_MONO_OPTIONS "$EXE_PATH" $* 2>&1 | tee "$_MD_REDIRECT_LOG" |