Android: Fix 32-bit Mono builds compat with API < 21

The fix is done in https://github.com/godotengine/godot-mono-builds/pull/22.

Also bump build-tools/platform to API 30 to match current 3.2 branch.
This commit is contained in:
Rémi Verschelde
2020-12-10 09:42:34 +01:00
parent 62116611f3
commit ae944a9610
2 changed files with 2 additions and 2 deletions

View File

@@ -88,7 +88,7 @@ if [ ! -e ${mono_root} ]; then
# Set up godot-mono-builds in tree
git clone --progress https://github.com/godotengine/godot-mono-builds
pushd godot-mono-builds
git checkout 42b90fe9a6a6ad6756a62866dc0dcc04a694f83b
git checkout 61e36a93b6264248b2081136ff35dc544f06563b
export MONO_SOURCE_ROOT=${mono_root}
python3 patch_mono.py
popd