diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2014-03-09 23:09:18 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2014-03-09 23:09:18 +0100 |
| commit | 002622b65b60286209d2c959d590a392afa782b1 (patch) | |
| tree | 58c1f050558ffd3c944eb58d82a95225c0419340 /gnu/packages/pretty-print.scm | |
| parent | 6c20d1d0c3822c0332f3cca963121365133e6412 (diff) | |
| download | guix-patches-002622b65b60286209d2c959d590a392afa782b1.tar guix-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 'gnu/packages/pretty-print.scm')
0 files changed, 0 insertions, 0 deletions