From 45ed6e7ef229b36d3f833edf0b8706221ad885c4 Mon Sep 17 00:00:00 2001 From: zimbatm Date: Wed, 28 Dec 2016 14:19:59 +0000 Subject: [PATCH] Document the common --no-build-hook option --- doc/manual/command-ref/opt-common.xml | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) 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 @@ + + + + + Disables the build hook mechanism. This allows to ignore remote + builders if they are setup on the machine. + + 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. + + + + + +