diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2020-08-23 22:48:19 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2020-08-23 23:05:16 +0200 |
| commit | d10474c38d58bdc676e64336769dc2e00cdfa8ed (patch) | |
| tree | 9cf8d02f2a892d2e6ad4087cf9e296f9804d3326 /etc | |
| parent | 68193624d1428836b18e93306f96e78706e082c3 (diff) | |
| download | guix-d10474c38d58bdc676e64336769dc2e00cdfa8ed.tar.gz guix-d10474c38d58bdc676e64336769dc2e00cdfa8ed.zip | |
lint: formatting: Gracefully handle relative file names.
Fixes <https://bugs.gnu.org/42543>.
Reported by Jack Hill <jackhill@jackhill.us>.
* guix/lint.scm (check-formatting): Always return a list (previously we
would return #f when 'search-path' returns #f). Check whether
LOCATION's file is a relative file name. Return a warning if not.
* tests/guix-lint.sh: Add test.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions