diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-11-26 22:29:29 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-11-28 10:39:58 +0100 |
| commit | af1f1c38fbd5cb9e11d0e2fff1d62a7d6d5b8b59 (patch) | |
| tree | 6c5c3d9dc174996ca309d662d08a485d4c7ba5d4 /.gitignore | |
| parent | 64fd1c01bc6f1be6ffcafc08789d5dafb9850c2e (diff) | |
| download | patches-af1f1c38fbd5cb9e11d0e2fff1d62a7d6d5b8b59.tar patches-af1f1c38fbd5cb9e11d0e2fff1d62a7d6d5b8b59.tar.gz | |
status: Report grafting derivations specially.
* guix/status.scm (print-build-event): In 'build-started' event handler,
check the properties of DRV and handle 'graft' derivations specially.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions