diff options
Diffstat (limited to 'common/ci')
| -rwxr-xr-x | common/ci/clean.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/common/ci/clean.sh b/common/ci/clean.sh index 4a21e1b..6bc39f5 100755 --- a/common/ci/clean.sh +++ b/common/ci/clean.sh @@ -244,6 +244,12 @@ else echo "${blue}libvirt/KVM is not installed${reset}" fi +###remove possible VMs (needed for 'rmmod kvm_intel') +if [ -n "$(ps -ef | grep qemu-kvm | grep -v grep)" ]; then + echo "${blue}Removing existing VMs ${reset}" + killall -9 qemu-kvm +fi + ###remove kernel modules echo "${blue}Removing kernel modules ${reset}" for kernel_mod in vboxnetadp vboxnetflt vboxpci vboxdrv kvm_intel kvm; do |