diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-01-27 22:33:16 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-01-29 12:09:52 +0100 |
| commit | 73a8681a16869a2b3a9da1c7ba9434e07a204e19 (patch) | |
| tree | f41e23ad2fb1376c7f329bc71438070c688de3c9 /.gitignore | |
| parent | 976ef2d97887d16eab8d4eb9dad811786b04d690 (diff) | |
| download | patches-73a8681a16869a2b3a9da1c7ba9434e07a204e19.tar patches-73a8681a16869a2b3a9da1c7ba9434e07a204e19.tar.gz | |
status: Keep track of build completion as reported by build tools.
* guix/status.scm (<build>)[completion]: New field.
(build): Add #:completion parameter.
(%percentage-line-rx, %fraction-line-rx): New variables.
(update-build): New procedure.
(compute-status): Add 'build-log' case.
* tests/status.scm ("compute-status, build completion"): New test.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions