summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorgVisor bot <gvisor-bot@google.com>2020-09-23 23:47:42 -0700
committergVisor bot <gvisor-bot@google.com>2020-09-23 23:47:42 -0700
commit53d569a976b71afdb61e16cd060c1efc3c3709c6 (patch)
treeba2341eca6193e72ac0125b3742bdaacbb75e8f3
parent3838e83a9844f1ebeafab50e33df588480986927 (diff)
parent2111cba9ce22dbb771610a40ce8ed3e2608d0c12 (diff)
Merge pull request #4071 from avagin:travis
PiperOrigin-RevId: 333454489
-rw-r--r--tools/bazel.mk2
1 files changed, 1 insertions, 1 deletions
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.