Explictly tell which kill to use.

diff --git a/PLD_Builder/rpm_builder.py b/PLD_Builder/rpm_builder.py
index 9a4c25a6ecd9a14b629d3465758ace5563198d0f..ccc218c14284a30de0ecfc963b3573e2e6fd2154 100644 (file)
--- a/PLD_Builder/rpm_builder.py
+++ b/PLD_Builder/rpm_builder.py
@@ -182,7 +182,7 @@ def build_rpm(r, b):
     b.log_line("started at: %s" % time.asctime())
 
     b.log_line("killing old processes on a builder")
-    chroot.run("kill --verbose -9 -1"), logfile = b.logfile)
+    chroot.run("/bin/kill --verbose -9 -1"), logfile = b.logfile)
 
     fetch_src(r, b)
     b.log_line("installing srpm: %s" % b.src_rpm)