diff --git a/hack/jenkins/common.sh b/hack/jenkins/common.sh index ad6285dfaa..0a0c8f0fb7 100755 --- a/hack/jenkins/common.sh +++ b/hack/jenkins/common.sh @@ -177,6 +177,7 @@ if type -P vboxmanage; then vboxmanage list vms || true fi + if type -P hdiutil; then hdiutil info | grep -E "/dev/disk[1-9][^s]" || true hdiutil info \ @@ -210,6 +211,14 @@ if [[ "${VM_DRIVER}" == "hyperkit" ]]; then fi fi +vboxprocs=$(pgrep VBox || true) +if [[ "${vboxprocs}" != "" ]]; then + echo "error: killing left over virtualbox processes ..." + ps -f -p ${vboxprocs} || true + sudo -E kill ${vboxprocs} || true +fi + + kprocs=$(pgrep kubectl || true) if [[ "${kprocs}" != "" ]]; then echo "error: killing hung kubectl processes ..."