diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2016-01-19 21:57:40 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2016-01-19 21:59:58 +0100 |
| commit | f495301902a398f1d7ec4ceb7b9fc262240d8c8d (patch) | |
| tree | b00c988505945d6cbbb5658b6b790649e12c9015 /.gitignore | |
| parent | 0e510971c3f6e5203803f14c40b89fe37d3d3f53 (diff) | |
| download | patches-f495301902a398f1d7ec4ceb7b9fc262240d8c8d.tar patches-f495301902a398f1d7ec4ceb7b9fc262240d8c8d.tar.gz | |
guix build: Add '--keep-going'.
* guix/scripts/build.scm (show-build-options-help)
(%standard-build-options): Add --keep-going.
* guix/scripts/build.scm (set-build-options-from-command-line): Honor
it.
* doc/guix.texi (Invoking guix build): Document it.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions