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