diff options
| -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 |