diff options
author | Lluis Sanchez <lluis@xamarin.com> | 2014-04-04 23:57:32 +0400 |
---|---|---|
committer | Lluis Sanchez <lluis@xamarin.com> | 2014-04-04 23:58:13 +0400 |
commit | 5bb5bb82d81d47ea427494e22acf8af6ce514037 (patch) | |
tree | 6acc107967567695a28ec2cfe1499617c039294b /profiles | |
parent | 30d703f32c6935c355b0b28a3f1d4d915a830103 (diff) |
Disable the fsharp binding
There are some build issues that need to be fixed
Diffstat (limited to 'profiles')
-rw-r--r-- | profiles/mac | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/profiles/mac b/profiles/mac index 9e695ba066..ff852fb8f4 100644 --- a/profiles/mac +++ b/profiles/mac @@ -1,2 +1 @@ main --disable-update-mimedb --disable-update-desktopdb --disable-gnomeplatform --enable-macplatform --enable-tests -main/external/fsharpbinding/monodevelop --addins-dir=bin/mac-linux/Debug |