diff options
| author | Andrei Vagin <avagin@gmail.com> | 2020-09-23 20:47:21 -0700 |
|---|---|---|
| committer | Andrei Vagin <avagin@gmail.com> | 2020-09-23 21:05:45 -0700 |
| commit | 2111cba9ce22dbb771610a40ce8ed3e2608d0c12 (patch) | |
| tree | fcf1ded6ca9bb4d251b33367ecce7c7e645cff3a | |
| parent | d00207ff482fd5cfa607d37979b5455f41a86e3b (diff) | |
make: specify /dev/null for the tail tool
| -rw-r--r-- | tools/bazel.mk | 2 |
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. |