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 /gnu/services | |
| parent | 07af3e5efee742b9b67a19a6df3256cd00fb18e0 (diff) | |
| download | patches-c79c6e598ad48dfe1cd2d0d8e9d7d3c311a48f5d.tar patches-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 'gnu/services')
0 files changed, 0 insertions, 0 deletions