diff options
author | Klaus Aehlig <aehlig@google.com> | 2017-03-02 15:26:38 +0000 |
---|---|---|
committer | Yue Gan <yueg@google.com> | 2017-03-03 10:35:49 +0000 |
commit | 7ed28beae92c1de431a8573af345058d96752f96 (patch) | |
tree | deed6dcd10afad5ff8703f2bbcd04d5729bfab2b /site/BUILD | |
parent | acdd43bf8832db562312c6b273687dd6f1d219b7 (diff) |
Make :dot-graphs genrule quiet
The output of `which dot` is not a helpful diagnostic
message; so discard it in the test whether dot is installed
on the given system.
--
Change-Id: Ic6597a517cafe99796a9c109e3844c1fa56c8c97
Reviewed-on: https://cr.bazel.build/9120
PiperOrigin-RevId: 149002252
MOS_MIGRATED_REVID=149002252
Diffstat (limited to 'site/BUILD')
-rw-r--r-- | site/BUILD | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/site/BUILD b/site/BUILD index 130d1594a1..acada35d77 100644 --- a/site/BUILD +++ b/site/BUILD @@ -106,7 +106,7 @@ origdir=$$PWD tmpdir=$$(mktemp -d) for f in $(SRCS); do mkdir -p $$tmpdir/$$(dirname $$f) - if which dot; then + if which dot > /dev/null; then $(location //scripts/docs:generate_dot_graphs) < $$f > $$tmpdir/$$f else cp $$f $$tmpdir/$$f |