diff options
author | 张弘引 | 2017-10-11 23:44:30 +0800 |
---|---|---|
committer | 张弘引 | 2017-10-11 23:54:15 +0800 |
commit | 8321c8662b69bcd982388a076e3c5d90f0ea285e (patch) | |
tree | 8056c27f8e740d172e728acb8117a2d119891631 /vmware-patch.sh | |
parent | 2ec90a40024bcf2333b5a3709ebca7927f45ba4f (diff) | |
download | aur-8321c8662b69bcd982388a076e3c5d90f0ea285e.tar.gz |
add AlexKornitzer's workaround for vmci building problem.
Diffstat (limited to 'vmware-patch.sh')
-rw-r--r-- | vmware-patch.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/vmware-patch.sh b/vmware-patch.sh index 0cf3a29ee913..e477bdaff839 100644 --- a/vmware-patch.sh +++ b/vmware-patch.sh @@ -146,7 +146,7 @@ for kernel in ${kernels[@]}; do # Sync VMware Player (Pro / Plus) version by incrementing by 4 ver2=$ver - if [[ $name =~ Player ]] && [[ $ver != 12.* ]]; then + if [[ $name =~ Player ]] && [[ $ver != 12.* ]] && [[ $ver != 14.* ]]; then major=$(( ${ver/.*} + 4 )) ver2=$major.${ver#*.} fi |