Remove "killing process <pid>" messages

They convey no useful information.

1 files changed, 1 insertions, 5 deletions

diff --git a/src/libmain/shared.cc b/src/libmain/shared.cc
index 326202d295fb..a720afd6cdd4 100644
--- a/src/libmain/shared.cc
+++ b/src/libmain/shared.cc
@@ -332,11 +332,7 @@ RunPager::~RunPager()
             pid.wait();
         }
     } catch (...) {
-        try {
-            pid.kill(true);
-        } catch (...) {
-            ignoreException();
-        }
+        ignoreException();
     }
 }