diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2017-11-28 15:05:55 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2017-11-28 15:05:55 +0100 |
| commit | eef01cfe8eac8dee8ecf727e4ca459ae065e15ea (patch) | |
| tree | 0ad04efcbcd00d8c0366f5a6674c096051a5bbec /THANKS | |
| parent | 1da3d2a3a1b53bdd71774194f4afc13f35bb18e3 (diff) | |
| download | guix-eef01cfe8eac8dee8ecf727e4ca459ae065e15ea.tar guix-eef01cfe8eac8dee8ecf727e4ca459ae065e15ea.tar.gz | |
lint: 'patch-file-names' checks for file name length.
Reported at <https://bugs.gnu.org/27943>
by Danny Milosavljevic <dannym@scratchpost.org>.
* guix/scripts/lint.scm (%distro-directory): New variable.
(check-patch-file-names): Add check for the file name length.
* tests/lint.scm ("patches: file name too long"): New test.
Diffstat (limited to 'THANKS')
0 files changed, 0 insertions, 0 deletions