diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2012-12-12 14:59:16 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2012-12-12 14:59:16 +0100 |
| commit | 70915c1a2ef72e7350b2a29d1d93e30643bce6f3 (patch) | |
| tree | 0f40211b13f3bbff0c9f51c2637fb6c9dff9e052 /doc | |
| parent | ba55b1cb691e410339fbb446a95c65b9ea59017e (diff) | |
guix-package: Add `--verbose'; silence the environment's build by default.
* guix-package.in (%options): Add `--verbose'.
(show-help): Update accordingly.
(guix-package): Parameterize `current-build-output-port' according to
VERBOSE?. By default, silence the environment build's output.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/guix.texi | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/guix.texi b/doc/guix.texi index 2c9cba21a1..b8ab94f5ad 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -235,6 +235,10 @@ Use @var{profile} instead of the user's default profile. @itemx -n Show what would be done without actually doing it. +@item --verbose +Produce verbose output. In particular, emit the environment's build log +on the standard error port. + @item --bootstrap Use the bootstrap Guile to build the profile. This option is only useful to distribution developers. |