diff options
author | Michael Hutchinson <m.j.hutchinson@gmail.com> | 2013-09-03 22:36:13 +0400 |
---|---|---|
committer | Michael Hutchinson <m.j.hutchinson@gmail.com> | 2013-09-04 00:46:12 +0400 |
commit | fdb4785bc42c69051f8350d630209086fdac2a14 (patch) | |
tree | 92f3218a06db502f319f1ca67769edb7d26989fc /main/monodevelop.in | |
parent | 1c836432c06c1d96c6cf8d7dd5f27a7b90db7336 (diff) |
Don't run Mono in debug mode by default on Linux
Diffstat (limited to 'main/monodevelop.in')
-rwxr-xr-x | main/monodevelop.in | 11 |
1 files changed, 2 insertions, 9 deletions
diff --git a/main/monodevelop.in b/main/monodevelop.in index df63d7848c..026724d0cf 100755 --- a/main/monodevelop.in +++ b/main/monodevelop.in @@ -13,17 +13,10 @@ EXE_PATH="${0%%/bin/monodevelop}/lib/monodevelop/bin/MonoDevelop.exe" _MD_REDIRECT_LOG="${MD_REDIRECT_LOG:-${XDG_CONFIG_HOME:-$HOME/.config}/MonoDevelop/log}" -##NOTE: remove this for stable releases -if [ -z "$MD_NO_DEBUG" ]; then - _MONO_OPTIONS=${MONO_OPTIONS:---debug} -else - _MONO_OPTIONS=$MONO_OPTIONS -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" + $MONO_EXEC $MONO_OPTIONS "$EXE_PATH" $* 2>&1 | tee "$_MD_REDIRECT_LOG" else - $MONO_EXEC $_MONO_OPTIONS "$EXE_PATH" $* + $MONO_EXEC $MONO_OPTIONS "$EXE_PATH" $* fi |