about summary refs log tree commit diff
diff options
context:
space:
mode:
authorDomen Kožar <domen@enlambda.com>2016-12-28T15·01+0100
committerGitHub <noreply@github.com>2016-12-28T15·01+0100
commit00d93b65fae5424671da14f0c51f59b5a54a3dda (patch)
tree83c7a853155bc4a46fab367bd617bbaa02820d34
parentd0a2db17d91931cfd8d60e93d30cee20d39762c8 (diff)
parent45ed6e7ef229b36d3f833edf0b8706221ad885c4 (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.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>