diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/check-pylint | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/tools/check-pylint b/tools/check-pylint new file mode 100755 index 0000000..ce1ef30 --- /dev/null +++ b/tools/check-pylint @@ -0,0 +1,20 @@ +#!/bin/bash + +PYLINT_EXIT=$? +# pylint error masks + +FATAL_MASK=1 +ERROR_MASK=2 +WARNING_MASK=4 +REFACTRO_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 |