Closed
Description
- Version: 8.2.1
- Platform: Linux flip 4.10.0-28-generic docs: replace all instances of node.js with io.js because trademark. #32-Ubuntu SMP Fri Jun 30 05:32:18 UTC 2017 x86_64 x86_64 x86_64 GNU/Linux
PR #13658 introduced a hard-failing linter in case the linter dependencies are not included.
This happens to be the case for at least release 8.2.1, and as part of normal packaging procedures we run make check
to verify that everything still works as it should. It seems reasonable to expect make check
to only fail if there are problems with the code.
A linter not being available in the release tarball is IMHO not a reason for the included tests to fail.