diff options
| author | Marius Ungureanu <marius.ungureanu@xamarin.com> | 2015-10-22 17:14:31 +0300 |
|---|---|---|
| committer | Marius Ungureanu <marius.ungureanu@xamarin.com> | 2015-10-22 17:14:31 +0300 |
| commit | e7ecab68b353aa1f619f435bb46cca80a2a92f05 (patch) | |
| tree | 2fb4bb5e72d9da5568e0ad115926e0ae64c47e0c /profiles | |
| parent | 98256194952b0a2730d372bf2d0afdb797cd69f5 (diff) | |
[Mac] Use a general case of finding f# addin.
Diffstat (limited to 'profiles')
| -rw-r--r-- | profiles/mac | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/profiles/mac b/profiles/mac index 9cc804993f..8d6fb033c3 100644 --- a/profiles/mac +++ b/profiles/mac @@ -1,2 +1,2 @@ main --disable-update-mimedb --disable-update-desktopdb --disable-gnomeplatform --enable-macplatform --enable-tests -main/external/fsharpbinding --addins-dir=bin/mac-linux/Debug --no-prefix +main/external/fsharpbinding --addins-dir=bin/mac-linux --no-prefix |