diff options
| author | Florian Fischer <florian.fl.fischer@fau.de> | 2020-06-02 11:15:38 +0200 |
|---|---|---|
| committer | Florian Fischer <florian.fl.fischer@fau.de> | 2020-06-02 11:18:47 +0200 |
| commit | 49387b574e4f6d81d2aa20a3a3deab087b2d97e9 (patch) | |
| tree | 10f0451dd989a341b655a25c327a45a83b49121f /tools/check-pylint | |
| parent | 6fd3a519ccf671c65cbad9887ed44ddadf2ee267 (diff) | |
| download | allocbench-49387b574e4f6d81d2aa20a3a3deab087b2d97e9.tar.gz allocbench-49387b574e4f6d81d2aa20a3a3deab087b2d97e9.zip | |
[pylint] add config and fix tools/check-pylint exit code
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 |