diff options
Diffstat (limited to 'use-arch-mono.patch')
| -rw-r--r-- | use-arch-mono.patch | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/use-arch-mono.patch b/use-arch-mono.patch deleted file mode 100644 index b1a256e1b112..000000000000 --- a/use-arch-mono.patch +++ /dev/null @@ -1,10 +0,0 @@ ---- SetupMono-orig.sh 2019-09-05 18:59:40.953565669 -0500 -+++ SetupMono.sh 2019-09-05 19:05:21.203570187 -0500 -@@ -11,6 +11,7 @@ - bash FixDependencyFiles.sh - - IS_MONO_INSTALLED=0 -+UE_USE_SYSTEM_MONO=1 - MONO_VERSION_PATH=$(command -v mono) || true - if [ "$UE_USE_SYSTEM_MONO" == "1" ] && [ ! $MONO_VERSION_PATH == "" ] && [ -f $MONO_VERSION_PATH ]; then - # If Mono is installed, check if it's 5.0 or higher |