[projects/pld-builder.new] Explictly tell which kill to use.

[arekm]

commit 1b1cadc445afff139a3945897dd7e6bef69e66e0
Author: Arkadiusz Miśkiewicz <arekm at maven.pl>
Date:   Mon Mar 19 18:31:12 2018 +0100

    Explictly tell which kill to use.

 PLD_Builder/rpm_builder.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/PLD_Builder/rpm_builder.py b/PLD_Builder/rpm_builder.py
index 9a4c25a..ccc218c 100644
--- 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)
================================================================

---- gitweb:

http://git.pld-linux.org/gitweb.cgi/projects/pld-builder.new.git/commitdiff/1b1cadc445afff139a3945897dd7e6bef69e66e0