diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-08-28 17:38:45 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-08-28 18:52:51 +0200 |
| commit | 8f67a76a544a9ff7b60de64d5619a63296c9553e (patch) | |
| tree | 719f66c45ddbd71f535e49fb8fa66d54c4a44791 /guix/scripts/lint.scm | |
| parent | 5416d9a942468d70441515a9a6492be7625fd75c (diff) | |
lint: Log diagnostics with 'info', not 'warning'.
* guix/scripts/lint.scm (emit-warnings): Use 'info', not 'warning'.
This removes the unhelpful "warning:" prefix that commit
3d33c93cef67d88bdc9409959f3c1f3857af09cf introduced.
Diffstat (limited to 'guix/scripts/lint.scm')
| -rw-r--r-- | guix/scripts/lint.scm | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/guix/scripts/lint.scm b/guix/scripts/lint.scm index ee1c826d2e..1668d02992 100644 --- a/guix/scripts/lint.scm +++ b/guix/scripts/lint.scm @@ -46,9 +46,9 @@ (lambda (lint-warning) (let ((package (lint-warning-package lint-warning)) (loc (lint-warning-location lint-warning))) - (warning loc (G_ "~a@~a: ~a~%") - (package-name package) (package-version package) - (lint-warning-message lint-warning)))) + (info loc (G_ "~a@~a: ~a~%") + (package-name package) (package-version package) + (lint-warning-message lint-warning)))) warnings)) (define (run-checkers package checkers) |