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 | |
| parent | 2510bd87562bfee9d82348f1c08dd78ccea12dd1 (diff) | |
| download | guix-38a2f5eafb43b6407f8d9755da31dcb50ce64167.tar 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.
| -rw-r--r-- | guix/status.scm | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/guix/status.scm b/guix/status.scm index 13537c70cd..d8d761dc23 100644 --- a/guix/status.scm +++ b/guix/status.scm @@ -319,8 +319,9 @@ addition to build events." (format port (info (G_ "building ~a...")) drv) (newline port)) (('build-succeeded drv . _) - (format port (success (G_ "successfully built ~a")) drv) - (newline port) + (when (or print-log? (not (extended-build-trace-supported?))) + (format port (success (G_ "successfully built ~a")) drv) + (newline port)) (match (build-status-building status) (() #t) (ongoing ;when max-jobs > 1 |