aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorFlorian Fischer <florian.fl.fischer@fau.de>2020-06-02 11:15:38 +0200
committerFlorian Fischer <florian.fl.fischer@fau.de>2020-06-02 11:18:47 +0200
commit49387b574e4f6d81d2aa20a3a3deab087b2d97e9 (patch)
tree10f0451dd989a341b655a25c327a45a83b49121f /Makefile
parent6fd3a519ccf671c65cbad9887ed44ddadf2ee267 (diff)
downloadallocbench-49387b574e4f6d81d2aa20a3a3deab087b2d97e9.tar.gz
allocbench-49387b574e4f6d81d2aa20a3a3deab087b2d97e9.zip
[pylint] add config and fix tools/check-pylint exit code
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 67f0d42..b75388a 100644
--- a/Makefile
+++ b/Makefile
@@ -48,7 +48,7 @@ clean:
rm -rf $(OBJDIR)
check-pylint:
- pylint -j 0 $(PYTHONFILES) || ./tools/check-pylint
+ pylint --rcfile=.pylint.rc -j 0 $(PYTHONFILES) || ./tools/check-pylint
format:
yapf -i $(PYTHONFILES)