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 <lluis@xamarin.com>2014-01-15 22:25:07 +0400
committerLluis Sanchez <lluis@xamarin.com>2014-01-15 22:25:07 +0400
commitf723e0fa7ba9f3d10d6ff6e57a72313533310a7d (patch)
tree2ec4b057fd25fe1a7d2e99cd4a6a37a8e5f2ea42 /profiles
parent5d6caf4aa96114c999e309b1518e4df2abb78999 (diff)
[fsharp binding] Set correct path to the output directory
Diffstat (limited to 'profiles')
-rw-r--r--profiles/mac2
1 files changed, 1 insertions, 1 deletions
diff --git a/profiles/mac b/profiles/mac
index bd7752a93d..5fa0476e76 100644
--- a/profiles/mac
+++ b/profiles/mac
@@ -1,3 +1,3 @@
main --disable-update-mimedb --disable-update-desktopdb --disable-gnomeplatform --enable-macplatform --enable-tests
extras/MonoDevelop.Database
-main/external/fsharpbinding/monodevelop --addins-dir=bin/local/Debug
+main/external/fsharpbinding/monodevelop --addins-dir=bin/mac-linux/Debug