diff options
| author |  Mike Morearty <mike@asana.com> | 2017-06-06 04:11:50 -0400 |
|---|---|---|
| committer |  John Cater <jcater@google.com> | 2017-06-06 09:50:45 -0400 |
| commit | 4be142706db767b66717bd30f3dbfe5bacbf5539 (patch) | |
| tree | ca85bf8bc663bbc679a88266914a7b11778ef4a6 /examples | |
| parent | 179124c4276c9ad2032a577d8ec739f291c905eb (diff) | |
Change help message for --batch
The help message previously said that `--batch` is strongly discouraged, but in fact it's only discouraged when using bazel interactively. Since the tradeoffs of `--batch` are fully explained in the online docs, this commit changes the help message to explain what the option does without getting into the tradeoffs.
Fixes #3051
Closes #3118.
PiperOrigin-RevId: 158112611
Diffstat (limited to 'examples')
0 files changed, 0 insertions, 0 deletions