From 20eb9d1661c058476f80728b92956a76f035a27d Mon Sep 17 00:00:00 2001
From: Florian Fischer <florian.fl.fischer@fau.de>
Date: Mon, 13 Jul 2020 16:27:31 +0200
Subject: [make] pass pylit exit code to tools/check-pylint

---
 Makefile           | 2 +-
 tools/check-pylint | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index c304c0c..d6e393f 100644
--- a/Makefile
+++ b/Makefile
@@ -48,7 +48,7 @@ clean:
 	rm -rf $(OBJDIR)
 
 check-pylint:
-	pylint --rcfile=.pylint.rc -j 0 $(PYTHONFILES) || ./tools/check-pylint
+	pylint --rcfile=.pylint.rc -j 0 $(PYTHONFILES) || ./tools/check-pylint $$?
 
 format:
 	yapf -i $(PYTHONFILES)
diff --git a/tools/check-pylint b/tools/check-pylint
index 0462f25..9b7c7e5 100755
--- a/tools/check-pylint
+++ b/tools/check-pylint
@@ -1,8 +1,8 @@
 #!/bin/bash
 
-PYLINT_EXIT=$?
-# pylint error masks
+PYLINT_EXIT=${1}
 
+# pylint error masks
 FATAL_MASK=1
 ERROR_MASK=2 
 WARNING_MASK=4
-- 
cgit v1.2.3