From 2111cba9ce22dbb771610a40ce8ed3e2608d0c12 Mon Sep 17 00:00:00 2001
From: Andrei Vagin <avagin@gmail.com>
Date: Wed, 23 Sep 2020 20:47:21 -0700
Subject: [PATCH] make: specify /dev/null for the tail tool

---
 tools/bazel.mk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/bazel.mk b/tools/bazel.mk
index 5cc1cdea2..4235c36ca 100644
--- a/tools/bazel.mk
+++ b/tools/bazel.mk
@@ -131,7 +131,7 @@ bazel-server-start: bazel-image ## Starts the bazel server.
 		--workdir "$(CURDIR)" \
 		$(FULL_DOCKER_RUN_OPTIONS) \
 		$(BUILDER_IMAGE) \
-		sh -c "tail -f --pid=\$$($(BAZEL) info server_pid)"
+		sh -c "tail -f --pid=\$$($(BAZEL) info server_pid) /dev/null"
 .PHONY: bazel-server-start
 
 bazel-shutdown: ## Shuts down a running bazel server.