diff options
author | Zerophase | 2019-06-23 15:02:22 -0500 |
---|---|---|
committer | Zerophase | 2019-06-23 15:02:22 -0500 |
commit | b1fb64f2e510850b18ce8407aa1ef7763734f9da (patch) | |
tree | 6198103f554dee535a16666b6c5db20edb6e2db7 /use-arch-mono.patch | |
parent | 9793067e5147c667d96944cd0fe5db3ce839a0bb (diff) | |
download | aur-b1fb64f2e510850b18ce8407aa1ef7763734f9da.tar.gz |
Update to 4.22.3
Diffstat (limited to 'use-arch-mono.patch')
-rw-r--r-- | use-arch-mono.patch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/use-arch-mono.patch b/use-arch-mono.patch index 5dccce5aa899..7756bf4d498d 100644 --- a/use-arch-mono.patch +++ b/use-arch-mono.patch @@ -3,7 +3,7 @@ @@ -12,16 +12,19 @@ IS_MONO_INSTALLED=0 - MONO_VERSION_PATH=`which mono` || true + MONO_VERSION_PATH=$(command -v mono) || true +UE_USE_SYSTEM_MONO=1 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 |