diff options
author | Ludovic Courtès <ludo@gnu.org> | 2014-12-28 18:21:53 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2014-12-28 18:21:53 +0100 |
commit | c79c6e598ad48dfe1cd2d0d8e9d7d3c311a48f5d (patch) | |
tree | a5632ba9213debd68331b5f41406ce0d2dfa5be7 /.dir-locals.el | |
parent | 07af3e5efee742b9b67a19a6df3256cd00fb18e0 (diff) | |
download | guix-c79c6e598ad48dfe1cd2d0d8e9d7d3c311a48f5d.tar guix-c79c6e598ad48dfe1cd2d0d8e9d7d3c311a48f5d.tar.gz |
lint: Report on the package being checked.
* guix/scripts/lint.scm (run-checkers): Check
whether (current-error-port) is a tty, and print the package being
checked and the checker currently running when it is.
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions