diff options
author | Ludovic Courtès <ludo@gnu.org> | 2018-10-14 23:46:42 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2018-10-14 23:48:49 +0200 |
commit | 38a2f5eafb43b6407f8d9755da31dcb50ce64167 (patch) | |
tree | ddbf4f081063c5ec8518debea0d004658586e176 /.gitignore | |
parent | 2510bd87562bfee9d82348f1c08dd78ccea12dd1 (diff) | |
download | guix-38a2f5eafb43b6407f8d9755da31dcb50ce64167.tar.gz |
status: Avoid "sucessfully built" messages when in quiet mode.
* guix/status.scm (print-build-event): Print "successfully built" messages only when PRINT-LOG? is true, like we do for 'substituter-started' events.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions