summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2014-03-09 23:09:18 +0100
committerLudovic Courtès <ludo@gnu.org>2014-03-09 23:09:18 +0100
commit002622b65b60286209d2c959d590a392afa782b1 (patch)
tree58c1f050558ffd3c944eb58d82a95225c0419340 /doc
parent6c20d1d0c3822c0332f3cca963121365133e6412 (diff)
downloadpatches-002622b65b60286209d2c959d590a392afa782b1.tar
patches-002622b65b60286209d2c959d590a392afa782b1.tar.gz
guix build: Add '--timeout' to the common build options.
* guix/scripts/build.scm (show-build-options-help): Document '--timeout'. (set-build-options-from-command-line): Pass #:timeout to 'set-build-options'. (%standard-build-options): Add '--timeout'. * doc/guix.texi (Invoking guix build): Document it.
Diffstat (limited to 'doc')
-rw-r--r--doc/guix.texi7
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/guix.texi b/doc/guix.texi
index ddca6e5a1a..150747f445 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -1903,6 +1903,13 @@ instead of offloading builds to remote machines.
When the build or substitution process remains silent for more than
@var{seconds}, terminate it and report a build failure.
+@item --timeout=@var{seconds}
+Likewise, when the build or substitution process lasts for more than
+@var{seconds}, terminate it and report a build failure.
+
+By default there is no timeout. This behavior can be restored with
+@code{--timeout=0}.
+
@item --verbosity=@var{level}
Use the given verbosity level. @var{level} must be an integer between 0
and 5; higher means more verbose output. Setting a level of 4 or more