summary refs log tree commit diff
path: root/nix/libutil/util.cc
diff options
context:
space:
mode:
authorEelco Dolstra <eelco.dolstra@logicblox.com>2014-08-04 17:27:45 +0200
committerLudovic Courtès <ludo@gnu.org>2015-05-11 17:16:37 +0200
commit75f746f018e34868b8057bed87c90d2cbe2c0b6c (patch)
treeffd46a99d5c1b0449a3ab7419d7be39221a6c05d /nix/libutil/util.cc
parent42c6246f674ca2d5ea166d1ae676b7087ea1b0d8 (diff)
downloadguix-75f746f018e34868b8057bed87c90d2cbe2c0b6c.tar.gz
Get rid of "killing <pid>" message for unused build hooks
Diffstat (limited to 'nix/libutil/util.cc')
-rw-r--r--nix/libutil/util.cc5
1 files changed, 3 insertions, 2 deletions
diff --git a/nix/libutil/util.cc b/nix/libutil/util.cc
index b79212018b..22f49f76d5 100644
--- a/nix/libutil/util.cc
+++ b/nix/libutil/util.cc
@@ -740,11 +740,12 @@ Pid::operator pid_t()
 }
 
 
-void Pid::kill()
+void Pid::kill(bool quiet)
 {
     if (pid == -1 || pid == 0) return;
 
-    printMsg(lvlError, format("killing process %1%") % pid);
+    if (!quiet)
+        printMsg(lvlError, format("killing process %1%") % pid);
 
     /* Send the requested signal to the child.  If it has its own
        process group, send the signal to every process in the child