Add a "make lint" target.

diff --git a/makefile b/makefile
index f1be9f05c3fd786b693f29a1091baf677c8b4c4f..9f59a36bec439d23ab78cdb1bd24db1b531187af 100644 (file)
--- a/makefile
+++ b/makefile
@@ -2,6 +2,10 @@
 check:
        python test/suite.py
 
+.PHONY: lint
+lint:
+       pylint --reports=n *.py
+
 .PHONY: clean
 clean:
        rm -r __pycache__