diff --git a/fetch-engine.sh b/fetch-engine.sh index 1eab9b4..b4dfc0e 100755 --- a/fetch-engine.sh +++ b/fetch-engine.sh @@ -72,6 +72,7 @@ if [ "${AUTOMATIC_ENGINE_MANAGEMENT}" = "True" ]; then echo "Compiling engine..." cd "${ENGINE_DIRECTORY}" || exit 1 + patch Makefile < ../../Makefile.patch make version VERSION="${ENGINE_VERSION}" exit 0 fi