diff options
| author | Michael Hutchinson <mhutchinson@novell.com> | 2010-12-11 10:52:19 +0300 |
|---|---|---|
| committer | Michael Hutchinson <mhutchinson@novell.com> | 2010-12-11 10:52:19 +0300 |
| commit | 73f0eea2b47689a7bc0161717783986ada17e479 (patch) | |
| tree | 473ecc72dc7971cee300bda2c8c353813087abd9 /main/winrun.bat | |
| parent | 53a11863b4862c8191a3abf243454fca4a72f38f (diff) | |
[Win32] Use local addin registry in run scripts
Diffstat (limited to 'main/winrun.bat')
| -rw-r--r-- | main/winrun.bat | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/main/winrun.bat b/main/winrun.bat index 1cca230dcd..699f2db49e 100644 --- a/main/winrun.bat +++ b/main/winrun.bat @@ -1 +1,2 @@ +set MONO_ADDINS_REGISTRY=build\bin
build\bin\MonoDevelop.exe
|