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>2010-12-11 10:52:19 +0300
committerMichael Hutchinson <mhutchinson@novell.com>2010-12-11 10:52:19 +0300
commit73f0eea2b47689a7bc0161717783986ada17e479 (patch)
tree473ecc72dc7971cee300bda2c8c353813087abd9 /main/winrun.sh
parent53a11863b4862c8191a3abf243454fca4a72f38f (diff)
[Win32] Use local addin registry in run scripts
Diffstat (limited to 'main/winrun.sh')
-rw-r--r--main/winrun.sh1
1 files changed, 1 insertions, 0 deletions
diff --git a/main/winrun.sh b/main/winrun.sh
index 17a15f3dfc..7de728776b 100644
--- a/main/winrun.sh
+++ b/main/winrun.sh
@@ -1 +1,2 @@
+export MONO_ADDINS_REGISTRY=build/bin
build/bin/MonoDevelop.exe