diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/guix.texi | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/doc/guix.texi b/doc/guix.texi index 54325a5b16..c3aab812e2 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -596,7 +596,8 @@ Use @var{profile} instead of the user's default profile. Show what would be done without actually doing it. @item --no-substitutes -Build instead of resorting to pre-built substitutes. +@itemx --max-silent-time=@var{seconds} +Same as for @command{guix build} (@pxref{Invoking guix build}). @item --verbose Produce verbose output. In particular, emit the environment's build log @@ -1198,6 +1199,10 @@ Do not build the derivations. @item --no-substitutes Build instead of resorting to pre-built substitutes. +@item --max-silent-time=@var{seconds} +When the build or substitution process remains silent for more than +@var{seconds}, terminate it and report a build failure. + @item --cores=@var{n} @itemx -c @var{n} Allow the use of up to @var{n} CPU cores for the build. The special |