From 49387b574e4f6d81d2aa20a3a3deab087b2d97e9 Mon Sep 17 00:00:00 2001 From: Florian Fischer Date: Tue, 2 Jun 2020 11:15:38 +0200 Subject: [pylint] add config and fix tools/check-pylint exit code --- tools/check-pylint | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'tools') 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 -- cgit v1.2.3