summaryrefslogtreecommitdiff
path: root/tools/check-lint
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