diff options
| author | Florian Fischer <florian.fl.fischer@fau.de> | 2021-03-27 11:34:28 +0100 |
|---|---|---|
| committer | Florian Fischer <florian.fl.fischer@fau.de> | 2021-03-27 11:35:41 +0100 |
| commit | 795939a2cf91100b05a81cd597fdb1d47ff76270 (patch) | |
| tree | b9fe071342b95da9405e1ad5ab9d252983ab903c /scripts/tools/check-pylint | |
| parent | 18a43ec42d0fc83a49c27ab36886567152eb7fcc (diff) | |
| download | muhqs-game-795939a2cf91100b05a81cd597fdb1d47ff76270.tar.gz muhqs-game-795939a2cf91100b05a81cd597fdb1d47ff76270.zip | |
add script Makefile, python tooling and run yapf in generate_map_img.py
Diffstat (limited to 'scripts/tools/check-pylint')
| -rwxr-xr-x | scripts/tools/check-pylint | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/scripts/tools/check-pylint b/scripts/tools/check-pylint new file mode 100755 index 00000000..dc072935 --- /dev/null +++ b/scripts/tools/check-pylint @@ -0,0 +1,22 @@ +#!/bin/bash + +PYLINT_EXIT=${1} + +# 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 |