diff options
author | nosami <jasonimison@gmail.com> | 2015-12-10 15:46:47 +0300 |
---|---|---|
committer | nosami <jasonimison@gmail.com> | 2015-12-10 15:46:47 +0300 |
commit | 3317cb3e421072906d1685bf5f06d013434b44c0 (patch) | |
tree | 453c63b7432372960bcd1fbdb90ee95b0393d48b /profiles | |
parent | 6ec4c805fe16860cdcfa017a4685f005d661488f (diff) |
bump fsharpbinding. Removes need for orig files / configure
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 8d6fb033c3..cc75bb7428 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 --no-prefix +main/external/fsharpbinding --addins-dir=bin --no-prefix |