diff options
| author | Domen Kožar <domen@enlambda.com> | 2016-12-28 16:01:16 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-12-28 16:01:16 +0100 |
| commit | 00d93b65fae5424671da14f0c51f59b5a54a3dda (patch) | |
| tree | 83c7a853155bc4a46fab367bd617bbaa02820d34 | |
| parent | d0a2db17d91931cfd8d60e93d30cee20d39762c8 (diff) | |
| parent | 45ed6e7ef229b36d3f833edf0b8706221ad885c4 (diff) | |
Merge pull request #1165 from zimbatm/document-no-build-hook
Document the common --no-build-hook option
| -rw-r--r-- | doc/manual/command-ref/opt-common.xml | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/doc/manual/command-ref/opt-common.xml b/doc/manual/command-ref/opt-common.xml index bc26a9061..14353122f 100644 --- a/doc/manual/command-ref/opt-common.xml +++ b/doc/manual/command-ref/opt-common.xml @@ -191,6 +191,23 @@ </varlistentry> +<varlistentry><term><option>--no-build-hook</option></term> + + <listitem> + + <para>Disables the build hook mechanism. This allows to ignore remote + builders if they are setup on the machine.</para> + + <para>It's useful in cases where the bandwidth between the client and the + remote builder is too low. In that case it can take more time to upload the + sources to the remote builder and fetch back the result than to do the + computation locally.</para> + + </listitem> + +</varlistentry> + + <varlistentry><term><option>--readonly-mode</option></term> |