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:
authorMichael Hutchinson <mhutchinson@novell.com>2011-03-25 23:38:39 +0300
committerMichael Hutchinson <mhutchinson@novell.com>2011-03-26 00:00:28 +0300
commit0a56e647ab9d7a32f060957d5071d8297a52c3f9 (patch)
tree6c85739f0031d432d1f87862f94ab5a2c1e25ab5 /main/Makefile.include
parent70c22307c64287f3c5845d13bdbe46b35acff644 (diff)
Track mdrun->mdtool rename
Diffstat (limited to 'main/Makefile.include')
-rw-r--r--main/Makefile.include2
1 files changed, 1 insertions, 1 deletions
diff --git a/main/Makefile.include b/main/Makefile.include
index 3ae8fdd719..b6676ef313 100644
--- a/main/Makefile.include
+++ b/main/Makefile.include
@@ -19,4 +19,4 @@ MD_LAUNCH_SETUP= \
MONODEVELOP_LOCALE_PATH="$(abs_top_builddir)/build/locale" \
MONO_ADDINS_REGISTRY="$(MD_BIN_PATH)"
-MDTOOL_RUN=$(MD_LAUNCH_SETUP) exec -a "mdtool" $(RUNTIME) --debug "$(MD_BIN_PATH)/mdrun.exe"
+MDTOOL_RUN=$(MD_LAUNCH_SETUP) exec -a "mdtool" $(RUNTIME) --debug "$(MD_BIN_PATH)/mdtool.exe"