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

---
 tools/check-pylint | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'tools')

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