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, 0 insertions, 12 deletions
diff --git a/fetch-engine.patch b/fetch-engine.patch
deleted file mode 100644
index 4f192bc82c42..000000000000
--- a/fetch-engine.patch
+++ /dev/null
@@ -1,12 +0,0 @@
-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