summarylogtreecommitdiffstats
path: root/fetch-engine.patch
diff options
context:
space:
mode:
Diffstat (limited to 'fetch-engine.patch')
-rw-r--r--fetch-engine.patch12
1 files changed, 12 insertions, 0 deletions
diff --git a/fetch-engine.patch b/fetch-engine.patch
new file mode 100644
index 00000000000..4f192bc82c4
--- /dev/null
+++ b/fetch-engine.patch
@@ -0,0 +1,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 \ No newline at end of file