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 /guix/scripts | |
| 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 'guix/scripts')
| -rw-r--r-- | guix/scripts/build.scm | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/guix/scripts/build.scm b/guix/scripts/build.scm index acb495a462..a853ac6c7d 100644 --- a/guix/scripts/build.scm +++ b/guix/scripts/build.scm @@ -545,7 +545,8 @@ talking to a remote daemon\n"))) #:fallback? (assoc-ref opts 'fallback?) #:use-substitutes? (assoc-ref opts 'substitutes?) #:substitute-urls (assoc-ref opts 'substitute-urls) - #:offload? (assoc-ref opts 'offload?) + #:offload? (and (assoc-ref opts 'offload?) + (not (assoc-ref opts 'keep-failed?))) #:max-silent-time (assoc-ref opts 'max-silent-time) #:timeout (assoc-ref opts 'timeout) #:print-build-trace (assoc-ref opts 'print-build-trace?) |