diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-10-08 15:19:06 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-10-08 15:20:44 +0200 |
| commit | be489a26c0e6a5f23a48142a87728a0ec8bc3c9c (patch) | |
| tree | 43f635fc991c97e251ff83bab65bccf9eeb6759e | |
| parent | fe2b73c2353d106431ed0659345391f14ed64600 (diff) | |
| download | cuirass-be489a26c0e6a5f23a48142a87728a0ec8bc3c9c.tar cuirass-be489a26c0e6a5f23a48142a87728a0ec8bc3c9c.tar.gz | |
base: Distinguish between 'failed' and 'failed-dependency'.
* src/cuirass/base.scm (update-build-statuses!): Call 'log-file' and use
that to distinguish between 'failed' and 'failed-dependency'.
| -rw-r--r-- | src/cuirass/base.scm | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/cuirass/base.scm b/src/cuirass/base.scm index deee05b..cd095e0 100644 --- a/src/cuirass/base.scm +++ b/src/cuirass/base.scm @@ -372,7 +372,11 @@ outputs are invalid, that they failed to build.)" (((_ . outputs) ...) (if (any (cut valid-path? store <>) outputs) (db-update-build-status! drv (build-status succeeded)) - (db-update-build-status! drv (build-status failed)))))) + (db-update-build-status! drv + (if (log-file store + (derivation-file-name drv)) + (build-status failed) + (build-status failed-dependency))))))) (for-each update! lst)) |