diff options
Diffstat (limited to 'use-arch-mono.patch')
| -rw-r--r-- | use-arch-mono.patch | 25 |
1 files changed, 6 insertions, 19 deletions
diff --git a/use-arch-mono.patch b/use-arch-mono.patch index 7756bf4d498d..1499016525a1 100644 --- a/use-arch-mono.patch +++ b/use-arch-mono.patch @@ -1,23 +1,10 @@ ---- SetupMono.sh 2018-07-20 12:52:21.496049854 -0500 -+++ SetupMono_new.sh 2018-07-20 12:57:46.307955647 -0500 -@@ -12,16 +12,19 @@ +--- SetupMono.sh 2019-09-05 18:59:40.953565669 -0500 ++++ SetupMono.sh.new 2019-09-05 19:05:21.203570187 -0500 +@@ -11,6 +11,7 @@ + bash FixDependencyFiles.sh IS_MONO_INSTALLED=0 - MONO_VERSION_PATH=$(command -v mono) || true +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 4.0.2 or higher - MONO_VERSION_PREFIX="Mono JIT compiler version " - MONO_VERSION_PREFIX_LEN=${#MONO_VERSION_PREFIX} - MONO_VERSION=`"${MONO_VERSION_PATH}" --version |grep "$MONO_VERSION_PREFIX"` - MONO_VERSION=(`echo ${MONO_VERSION:MONO_VERSION_PREFIX_LEN} |tr '.' ' '`) -- if [ ${MONO_VERSION[0]} -ge 4 ]; then -+ if [ ${MONO_VERSION[0]} -eq 4 ]; then - if [ ${MONO_VERSION[1]} -ge 0 ] || [ ${MONO_VERSION[2]} -ge 2 ]; then - IS_MONO_INSTALLED=1 - fi -+ elif [ ${MONO_VERSION[0]} -eq 5 ]; then -+ IS_MONO_INSTALLED=1 - fi - fi - + # If Mono is installed, check if it's 5.0 or higher |