diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-01-07 13:55:32 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-01-07 14:41:00 +0100 |
| commit | 54ddb6a154082ecd41d50236d49a267697ff0f4e (patch) | |
| tree | 4186db0a9f92960a679e9facc848ea73c84983b9 /gnu | |
| parent | 46cf4cd6766d0a7186af513d33def5637ea8529c (diff) | |
lint: Avoid 'dirname' call at the top level.
* guix/scripts/lint.scm (%distro-directory): Wrap in 'mlambda'.
(check-patch-file-names): Adjust accordingly.
Diffstat (limited to 'gnu')
0 files changed, 0 insertions, 0 deletions