Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[build] Allow overriding mono's ANDROID_PLATFORM_TOOLS_VERSION (#1944)
Context: mono/mono#9473 (comment) Context: #1858 Before [mono/mono:master@52dccf8c][m52dc] ([mono:2018-02@077307fc][m0773]), mono would hardcode the `platform-tools` version to be installed, meaning if xamarin-android *wanted* to install a newer `platform-tools` version (#1858), *we couldn't*, because mono controlled that. Altering the `platform-tools` version would require altering and bumping mono. In [mono/mono:master@52dccf8c][m52dc], mono now allows xamarin-android to explicitly specify the `platform-tools` version to install, by overriding the `$(ANDROID_PLATFORM_TOOLS_VERSION)` make variable. Introduce a new `$(XAPlatformToolsVersion)` MSBuild property to control mono's `$(ANDROID_PLATFORM_TOOLS_VERSION)` value, allowing xamarin-android to control and update this value in the future. [m52dc]: mono/mono@52dccf8 [m0773]: mono/mono@077307f
- Loading branch information