diff --git a/build.sh b/build.sh index f69f77a..05ecab1 100755 --- a/build.sh +++ b/build.sh @@ -62,7 +62,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 7533d081e4995ed1cc032965b3b0d1ca8da36ce9 + git checkout 2fa04b9dc73a9e84037ef165c88f0cddfaa8705b export MONO_SOURCE_ROOT=${mono_root} python3 patch_mono.py popd