diff --git a/hack/jenkins/common.sh b/hack/jenkins/common.sh index 8905fd0bd9..6e2078d7d7 100755 --- a/hack/jenkins/common.sh +++ b/hack/jenkins/common.sh @@ -132,8 +132,8 @@ done zombie_defuncts=$(ps -A -ostat,ppid | awk '/[zZ]/ && !a[$2]++ {print $2}C') if [[ "${zombie_defuncts}" != "" ]]; then echo "Found zombie defunct procs to kill..." - ps -f -p ${kprocs} || true - sudo -E kill ${kprocs} || true + ps -f -p ${zombie_defuncts} || true + sudo -E kill ${zombie_defuncts} || true fi