aboutsummaryrefslogtreecommitdiff
path: root/tools/check-pylint
blob: 0462f2537332601b7decf14143c1e236a38bc5d9 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
#!/bin/bash

PYLINT_EXIT=$?
# pylint error masks

FATAL_MASK=1
ERROR_MASK=2 
WARNING_MASK=4
REFACTOR_MASK=8
CONVENTION_MASK=16
USAGE_ERROR_MASK=32

# fail on fatal
[[ $(( $PYLINT_EXIT & $FATAL_MASK )) -gt 0 ]] && exit $PYLINT_EXIT

# fail on error
[[ $(( $PYLINT_EXIT & $ERROR_MASK )) -gt 0 ]] && exit $PYLINT_EXIT

# fail on warning
[[ $(( $PYLINT_EXIT & $WARNING_MASK )) -gt 0 ]] && exit $PYLINT_EXIT

exit 0