This commit is contained in:
Rémi Verschelde 2021-07-30 09:58:23 +02:00
parent 6e076e2952
commit 8b32344741
1 changed files with 1 additions and 1 deletions

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 2bf7d71c7c3ba6cef7916562b0978139a80bd90e
git checkout c6bdc0fecafa0639372df481664da08ca8bd869d
export MONO_SOURCE_ROOT=${mono_root}
python3 patch_mono.py
popd