summarylogtreecommitdiffstats
path: root/vmware-patch.sh
diff options
context:
space:
mode:
author张弘引2017-10-11 23:44:30 +0800
committer张弘引2017-10-11 23:44:30 +0800
commit2ec90a40024bcf2333b5a3709ebca7927f45ba4f (patch)
tree347b79a099dda447f1007dfca78c011cd5020774 /vmware-patch.sh
parentf4f4c61067b129249136b7b19e048d76d9e05459 (diff)
downloadaur-2ec90a40024bcf2333b5a3709ebca7927f45ba4f.tar.gz
add AlexKornitzer's workaround for vmci building problem.
Diffstat (limited to 'vmware-patch.sh')
-rw-r--r--vmware-patch.sh3
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