1 files changed, 5 insertions, 1 deletions
diff --git a/src/main/cpp/blaze_util_darwin.cc b/src/main/cpp/blaze_util_darwin.cc
index 1f0acbd2cf..93645b12eb 100644
--- a/src/main/cpp/blaze_util_darwin.cc
+++ b/src/main/cpp/blaze_util_darwin.cc
@@ -186,10 +186,14 @@ string GetDefaultHostJavabase() {
 void WriteSystemSpecificProcessIdentifier(const string& server_dir) {
 }
 
-bool KillServerProcess(
+bool VerifyServerProcess(
     int pid, const string& output_base, const string& install_base) {
   // TODO(lberki): This might accidentally kill an unrelated process if the
   // server died and the PID got reused.
+  return true;
+}
+
+bool KillServerProcess(int pid) {
   killpg(pid, SIGKILL);
   return true;
 }