Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/monodevelop.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLluis Sanchez Gual <lluis@novell.com>2011-03-23 15:23:25 +0300
committerLluis Sanchez Gual <lluis@novell.com>2011-03-23 15:28:16 +0300
commitfb431db4ec03c85f3d618255624d751398d41372 (patch)
treee24c558063f0ba52e3bba7b4f6086cb9b4d50dba /main/mdtool.in
parent537ba3d8d94eb671c3cfb7fb0280e0d44faea6da (diff)
Renamed mdrun.exe to mdtool.exe
Diffstat (limited to 'main/mdtool.in')
-rw-r--r--main/mdtool.in2
1 files changed, 1 insertions, 1 deletions
diff --git a/main/mdtool.in b/main/mdtool.in
index 30f44c99e2..a6fec1831a 100644
--- a/main/mdtool.in
+++ b/main/mdtool.in
@@ -2,7 +2,7 @@
#this script should be in $PREFIX/bin
MONO_EXEC="exec -a mdtool mono"
-EXE_PATH="${0%%/bin/mdtool}/lib/monodevelop/bin/mdrun.exe"
+EXE_PATH="${0%%/bin/mdtool}/lib/monodevelop/bin/mdtool.exe"
##NOTE: remove this for stable releases
if [ -z "$MD_NO_DEBUG" ]; then