aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorFlorian Fischer <florian.fl.fischer@fau.de>2020-07-13 16:27:31 +0200
committerFlorian Fischer <florian.fl.fischer@fau.de>2020-07-13 16:27:31 +0200
commit20eb9d1661c058476f80728b92956a76f035a27d (patch)
tree25df16fb0608261b803359c13bec35dc127cfd72 /Makefile
parentfc44a5598f001f823990544f05a410092a21b84e (diff)
downloadallocbench-20eb9d1661c058476f80728b92956a76f035a27d.tar.gz
allocbench-20eb9d1661c058476f80728b92956a76f035a27d.zip
[make] pass pylit exit code to tools/check-pylint
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 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)