diff options
author | Ludovic Courtès <ludo@gnu.org> | 2014-03-31 10:57:28 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2014-03-31 10:57:28 +0200 |
commit | 36b5851df6d0833a7cf64673a65564afa5dd5ccc (patch) | |
tree | f55e1c2f2e0789e90375f397b334f3322e97f9b4 /guix | |
parent | c4202d60b21dd62f5d63112b62e5139980b44b5a (diff) |
offload: Exit with code 100 upon build failures.
* guix/scripts/offload.scm (transfer-and-offload): Exit with code 100
upon build failure.
Diffstat (limited to 'guix')
-rw-r--r-- | guix/scripts/offload.scm | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/guix/scripts/offload.scm b/guix/scripts/offload.scm index d06dd744a8..187f1d44c1 100644 --- a/guix/scripts/offload.scm +++ b/guix/scripts/offload.scm @@ -350,7 +350,10 @@ with exit code ~a~%" (derivation-file-name drv) (build-machine-name machine) (status:exit-val status)) - (primitive-exit (status:exit-val status))))))) + + ;; Use exit code 100 for a permanent build failure. The daemon + ;; interprets other non-zero codes as transient build failures. + (primitive-exit 100)))))) (define (send-files files machine) "Send the subset of FILES that's missing to MACHINE's store. Return #t on |