diff --git a/build.sh b/build.sh index 5654ce5..2ec78a5 100755 --- a/build.sh +++ b/build.sh @@ -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