From 9d2275763919023653fabcac9db720e60630472c Mon Sep 17 00:00:00 2001
From: Florian Fischer <florian.fl.fischer@fau.de>
Date: Mon, 11 May 2020 12:10:39 +0200
Subject: Makefile: add new pylint check-target which fails on errors and
 warnings

---
 tools/check-pylint | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100755 tools/check-pylint

(limited to 'tools')

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
-- 
cgit v1.2.3