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/mdtool.in | |
| parent | 1c836432c06c1d96c6cf8d7dd5f27a7b90db7336 (diff) | |
Don't run Mono in debug mode by default on Linux
Diffstat (limited to 'main/mdtool.in')
| -rw-r--r-- | main/mdtool.in | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/main/mdtool.in b/main/mdtool.in index 8f037e7b13..93ffa317f5 100644 --- a/main/mdtool.in +++ b/main/mdtool.in @@ -4,11 +4,4 @@ MONO_EXEC="exec -a mdtool mono-sgen" EXE_PATH="${0%%/bin/mdtool}/lib/monodevelop/bin/mdtool.exe" -##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" "$@" +$MONO_EXEC $MONO_OPTIONS "$EXE_PATH" "$@" |