From 1c836432c06c1d96c6cf8d7dd5f27a7b90db7336 Mon Sep 17 00:00:00 2001 From: Michael Hutchinson Date: Tue, 3 Sep 2013 11:35:06 -0700 Subject: Use mono-sgen for the Linux launch scripts Fixes BXC12010 - mono option --gc=sgen is silently ignored --- main/mdtool.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'main/mdtool.in') 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 -- cgit v1.2.3