diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 11 |
1 files changed, 7 insertions, 4 deletions
@@ -14,16 +14,19 @@ deheader.html: deheader.xml xmlto html-nochunks deheader.xml clean: - rm -f *~ *.1 *.html test/*.o test/*~ MANIFEST SHIPPER.* + rm -f *~ *.1 *.html test/*.o test/*~ MANIFEST regress: cd test; make --quiet regress makeregress: cd test; make --quiet makeregress -PYLINTOPTS = --rcfile=/dev/null --reports=n --include-ids=y --disable="C0103,C0111,C0301,C0302,C0323,R0903,R0912,R0913,R0914,R0915,W0141,W0611,W0621" +PYLINTOPTS = --rcfile=/dev/null --reports=n \ + --msg-template="{path}:{line}: [{msg_id}({symbol}), {obj}] {msg}" \ + --dummy-variables-rgx='^_' +SUPPRESSIONS = --disable="C0103,C0111,C0301,C0302,C0323,C1001,R0903,R0912,R0913,R0914,R0915,W0110,W0141,W0611,W0621" pylint: - @pylint --output-format=parseable $(PYLINTOPTS) deheader + @pylint $(PYLINTOPTS) $(SUPPRESSIONS) deheader version: @echo $(VERS) @@ -38,4 +41,4 @@ deheader-$(VERS).tar.gz: $(SOURCES) dist: deheader-$(VERS).tar.gz release: deheader-$(VERS).tar.gz deheader.html - shipper -u -m -t; make clean + shipper version=$(VERS) | sh -e -x |