diff options
| author |  gregce <gregce@google.com> | 2018-03-08 11:35:22 -0800 |
|---|---|---|
| committer |  Copybara-Service <copybara-piper@google.com> | 2018-03-08 11:37:02 -0800 |
| commit | ca8ee233590c748cc0d8330fc800a595a35b74ab (patch) | |
| tree | ed4d5d9dc65e2f429565a55769f15f65bde6edfc /site/docs/user-manual.html | |
| parent | 58acb7b85c6e06ac0142a8c8d53e4aa9000ccfd0 (diff) | |
Add missing "dump" command link from Bazel user manual.
PiperOrigin-RevId: 188362796
Diffstat (limited to 'site/docs/user-manual.html')
| -rw-r--r-- | site/docs/user-manual.html | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/site/docs/user-manual.html b/site/docs/user-manual.html index 43a7305298..95b9310fe2 100644 --- a/site/docs/user-manual.html +++ b/site/docs/user-manual.html @@ -3364,6 +3364,16 @@ adb -s deadbeef install ... printed to the console. </p> + +<h3 id='dump'>The <code>dump</code> command</h3> + +<p> + The <code>dump</code> command prints to stdout a dump of the + internal state of the Bazel server. This command is intended + primarily for use by Bazel developers, so the output of this command + is not specified, and is subject to change. +</p> + <p> By default, command will just print help message outlining possible options to dump specific areas of the Bazel state. In order to dump |