Manually merge from latest webber

[oss-web.git] / Makefile

diff --git a/Makefile b/Makefile
index 9d767ab055b28615024c770715e0a7c24388b403..67739841d7384741c6301b24d182c71652c1e265 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -9,6 +9,13 @@ all: webber.conf
 profile:
        ./webber --profile
 
+lint:
+       pylint \
+               --include-ids=y \
+               --reports=n \
+               --disable-msg=W0312,C0103 \
+               webber.py plugins
+
 clean:
        rm -f *.pyc plugins/*.pyc