diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-11-21 15:41:11 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-11-26 00:16:36 +0100 |
| commit | 2ce08a5d79f6eb1d2d3839aca859559b9829ae36 (patch) | |
| tree | 734defb7c01d77f3c5c3ac6886c1d28d79964f22 /doc/environment-gdb.scm | |
| parent | 7f44ab48f902e713ece5c5a0ae68519577a2344e (diff) | |
| download | patches-2ce08a5d79f6eb1d2d3839aca859559b9829ae36.tar patches-2ce08a5d79f6eb1d2d3839aca859559b9829ae36.tar.gz | |
guix build: '--keep-failed' implies '--no-offload'.
* guix/scripts/build.scm (set-build-options-from-command-line): Pass
#:offload? #f when 'keep-failed? is true.
* doc/guix.texi (Common Build Options): Document it.
Diffstat (limited to 'doc/environment-gdb.scm')
0 files changed, 0 insertions, 0 deletions