about summary refs log tree commit diff
path: root/doc/manual
diff options
context:
space:
mode:
authorzimbatm <zimbatm@zimbatm.com>2016-12-28T14·19+0000
committerzimbatm <zimbatm@zimbatm.com>2016-12-28T14·19+0000
commit45ed6e7ef229b36d3f833edf0b8706221ad885c4 (patch)
tree83c7a853155bc4a46fab367bd617bbaa02820d34 /doc/manual
parentd0a2db17d91931cfd8d60e93d30cee20d39762c8 (diff)
Document the common --no-build-hook option
Diffstat (limited to 'doc/manual')
-rw-r--r--doc/manual/command-ref/opt-common.xml17
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 bc26a90616e4..14353122fde6 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>