From def1b9108905c64b72000b222cd39d9c9c77f8a8 Mon Sep 17 00:00:00 2001
From: Medya Gh <medya@google.com>
Date: Mon, 19 Aug 2019 17:43:12 -0700
Subject: [PATCH] fix name

---
 hack/jenkins/common.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/hack/jenkins/common.sh b/hack/jenkins/common.sh
index 8905fd0bd..6e2078d7d 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
 
 
-- 
GitLab