diff options
author | Michael Hutchinson <m.j.hutchinson@gmail.com> | 2013-09-03 22:35:06 +0400 |
---|---|---|
committer | Michael Hutchinson <m.j.hutchinson@gmail.com> | 2013-09-04 00:46:11 +0400 |
commit | 1c836432c06c1d96c6cf8d7dd5f27a7b90db7336 (patch) | |
tree | 1dfd5dcdc25c0c154ad12caae447d857efe99ca0 /main/mdtool.in | |
parent | e5566214fec2503b5cc230112e73fb5fb6855e51 (diff) |
Use mono-sgen for the Linux launch scripts
Fixes BXC12010 - mono option --gc=sgen is silently ignored
Diffstat (limited to 'main/mdtool.in')
-rw-r--r-- | main/mdtool.in | 2 |
1 files changed, 1 insertions, 1 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 |