diff options
author | zimbatm <zimbatm@zimbatm.com> | 2016-12-28 14:19:59 +0000 |
---|---|---|
committer | zimbatm <zimbatm@zimbatm.com> | 2016-12-28 14:19:59 +0000 |
commit | 45ed6e7ef229b36d3f833edf0b8706221ad885c4 (patch) | |
tree | 83c7a853155bc4a46fab367bd617bbaa02820d34 | |
parent | d0a2db17d91931cfd8d60e93d30cee20d39762c8 (diff) |
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> |