blob: eaebdf04140ed465ee84248d6f9ce6b8b77a58fb (
plain)
1
2
3
4
5
6
7
8
9
10
|
#!/bin/bash -e
cd "$(dirname "$0")/.."
## tools/check-lint
##
## Run lint checks on the project, exiting with a zero status if there are no lint
## issues.
exec pylint envdir
|