diff options
| author |  Googler <noreply@google.com> | 2017-07-21 19:26:36 +0200 |
|---|---|---|
| committer |  Jakob Buchgraber <buchgr@google.com> | 2017-07-24 09:51:13 +0200 |
| commit | 8aa6745498bd4a3868336755b0fd198e0c31d81f (patch) | |
| tree | ea3a4802183ece64376644c5a0002fc8ccbf67a2 | |
| parent | 0b370ae035421d081e186bb26d3cc6371db5c66f (diff) | |
Rephrase server failure warning in Blaze User Manual
PiperOrigin-RevId: 162755817
| -rw-r--r-- | site/docs/bazel-user-manual.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/site/docs/bazel-user-manual.html b/site/docs/bazel-user-manual.html index fb725e78c5..75be04a3d2 100644 --- a/site/docs/bazel-user-manual.html +++ b/site/docs/bazel-user-manual.html @@ -3561,8 +3561,8 @@ adb -s deadbeef install ... fast rule about whether or not your script should use a server, but in general, the trade-off is between performance and reliability. The server mode makes a sequence of builds, especially incremental - builds, faster, but its behavior is more complex and prone to - failure. We recommend in most cases that you use batch mode unless + builds, faster, but its behavior is more complex and more likely to + fail. We recommend in most cases that you use batch mode unless the performance advantage is critical. </p> <p> |