blob: 4f192bc82c42a3ec05c150ae447640f622097c51 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
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
|