summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile7
1 files changed, 3 insertions, 4 deletions
diff --git a/Makefile b/Makefile
index dbe0926..e2b6aea 100644
--- a/Makefile
+++ b/Makefile
@@ -21,10 +21,9 @@ regress:
makeregress:
cd test; make --quiet makeregress
-pychecker:
- @ln -f deheader deheader.py
- @-pychecker --quiet --only --limit 50 deheader.py
- @rm -f deheader.py*
+PYLINTOPTS = --rcfile=/dev/null --reports=n --include-ids=y --disable="C0103,C0111,C0301,C0302,C0323,R0903,R0912,R0913,R0914,R0915,W0141,W0611,W0621"
+pylint:
+ @pylint --output-format=parseable $(PYLINTOPTS) deheader
version:
@echo $(VERS)