diff options
Diffstat (limited to 'fetch-engine.patch')
-rw-r--r-- | fetch-engine.patch | 12 |
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 |