diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 7 |
1 files changed, 3 insertions, 4 deletions
@@ -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) |