diff options
author | 张弘引 | 2017-10-11 23:44:30 +0800 |
---|---|---|
committer | 张弘引 | 2017-10-11 23:44:30 +0800 |
commit | 2ec90a40024bcf2333b5a3709ebca7927f45ba4f (patch) | |
tree | 347b79a099dda447f1007dfca78c011cd5020774 /vmware-patch.sh | |
parent | f4f4c61067b129249136b7b19e048d76d9e05459 (diff) | |
download | aur-2ec90a40024bcf2333b5a3709ebca7927f45ba4f.tar.gz |
add AlexKornitzer's workaround for vmci building problem.
Diffstat (limited to 'vmware-patch.sh')
-rw-r--r-- | vmware-patch.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/vmware-patch.sh b/vmware-patch.sh index 53f69c57b49e..0cf3a29ee913 100644 --- a/vmware-patch.sh +++ b/vmware-patch.sh @@ -227,6 +227,8 @@ for kernel in ${kernels[@]}; do msg "Installing modules.." if [[ $verbose ]]; then # Run vmware-modconfig + # workaround for vmci building problem, thanks to AlexKornitzer + vmware-modconfig --console --build-mod vmci if ! vmware-modconfig --console --install-all -k "$kernel"; then # See logs if ls /tmp/vmware-root/vmware-[0-9]*.log &>/dev/null; then @@ -240,6 +242,7 @@ for kernel in ${kernels[@]}; do fi else # Run vmware-modconfig + vmware-modconfig --console --build-mod vmci &>/dev/null if ! vmware-modconfig --console --install-all -k "$kernel" &>/dev/null; then # See logs if ls /tmp/vmware-root/vmware-*.log &>/dev/null; then |