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 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile')

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