diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-10-29T22·16+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-10-29T22·16+0000 |
commit | e007b50eb7ba070c039fc438f49a72bd248e1b5c (patch) | |
tree | c656f3169d214c4a041c080a97fd0e47f523ad93 /doc/manual/opt-common.xml | |
parent | bfea7b1f3514e4b3b4fd094969de92efa46c415d (diff) |
Diffstat (limited to 'doc/manual/opt-common.xml')
-rw-r--r-- | doc/manual/opt-common.xml | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/doc/manual/opt-common.xml b/doc/manual/opt-common.xml index 1d09fef955f1..7dfb7b8f856c 100644 --- a/doc/manual/opt-common.xml +++ b/doc/manual/opt-common.xml @@ -103,6 +103,17 @@ </varlistentry> +<varlistentry xml:id="opt-max-silent-time"><term><option>--max-silent-time</option></term> + + <listitem><para>Sets the maximum number of seconds that a builder + can go without producing any data on standard output or standard + error. The default is specified by the <link + linkend='conf-build-max-silent-time'><literal>build-max-silent-time</literal></link> + configuration setting. <literal>0</literal> means no + time-out.</para></listitem> + +</varlistentry> + <varlistentry><term><option>--keep-going</option></term> <term><option>-k</option></term> |