diff options
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 |