diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2015-12-08 23:27:53 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2015-12-08 23:58:12 +0100 |
| commit | 5b74fe065b33ee99372d472f2d6ee5284d720b75 (patch) | |
| tree | f71f8b3bf34e65c08a794492ab22a7684326c65c /gnu/system | |
| parent | 2fba87ac7c3e6fc6ca1a6e94131303c37425b2ba (diff) | |
| download | guix-5b74fe065b33ee99372d472f2d6ee5284d720b75.tar guix-5b74fe065b33ee99372d472f2d6ee5284d720b75.tar.gz | |
guix build: Add '--rounds'.
* guix/scripts/build.scm (show-build-options-help)
(%standard-build-options): Add --rounds.
(set-build-options-from-command-line): Honor it.
* doc/guix.texi (Invoking guix build): Document it.
* doc/contributing.texi (Submitting Patches): Mention it.
Diffstat (limited to 'gnu/system')
0 files changed, 0 insertions, 0 deletions