go
/
gvisor
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

make: specify /dev/null for the tail tool

This commit is contained in:
Andrei Vagin 2020-09-23 20:47:21 -07:00
parent d00207ff48
commit 2111cba9ce
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tools/bazel.mk
View File

@ -131,7 +131,7 @@ bazel-server-start: bazel-image ## Starts the bazel server.
--workdir "$(CURDIR)" \ --workdir "$(CURDIR)" \
$(FULL_DOCKER_RUN_OPTIONS) \ $(FULL_DOCKER_RUN_OPTIONS) \
$(BUILDER_IMAGE) \ $(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 .PHONY: bazel-server-start
bazel-shutdown: ## Shuts down a running bazel server. bazel-shutdown: ## Shuts down a running bazel server.