diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2020-03-26 12:26:41 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2020-03-26 13:07:19 +0100 |
| commit | 260eae789369170cad76ac0ef94fe9ae5af44ce0 (patch) | |
| tree | 67f0987c99aba48e626f41902460319766a31785 /graph.js | |
| parent | e7570ec2da04af83eba695ded92eb824172b15c3 (diff) | |
status: Display synthetic information about profiles being built.
* guix/status.scm (print-build-event): Add 'profile case.
* guix/scripts/package.scm (build-and-use-profile): Remove now redundant
message.
Diffstat (limited to 'graph.js')
0 files changed, 0 insertions, 0 deletions