diff options
Diffstat (limited to 'tools/check-pylint')
| -rwxr-xr-x | tools/check-pylint | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tools/check-pylint b/tools/check-pylint index ce1ef30..0462f25 100755 --- a/tools/check-pylint +++ b/tools/check-pylint @@ -6,7 +6,7 @@ PYLINT_EXIT=$? FATAL_MASK=1 ERROR_MASK=2 WARNING_MASK=4 -REFACTRO_MASK=8 +REFACTOR_MASK=8 CONVENTION_MASK=16 USAGE_ERROR_MASK=32 @@ -18,3 +18,5 @@ USAGE_ERROR_MASK=32 # fail on warning [[ $(( $PYLINT_EXIT & $WARNING_MASK )) -gt 0 ]] && exit $PYLINT_EXIT + +exit 0 |