Mono: Update godot-mono-builds to d462909236457cd212b17378c29ce336749e260d

Should help fix issue with JavaScript builds.
This commit is contained in:
Rémi Verschelde
2021-03-26 13:40:38 +01:00
parent eb01a7944b
commit cc43bc75f3

View File

@@ -97,7 +97,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 9d75cff174fa3599a9d90f9bce53f0a86154db1e
git checkout d462909236457cd212b17378c29ce336749e260d
export MONO_SOURCE_ROOT=${mono_root}
python3 patch_mono.py
popd