Diff

GNUmakefile @ 8798:505722879b55

GNUmakefile: Add 'lint' target
author Matthew Wild <mwild1@gmail.com>
date Fri, 18 May 2018 14:58:14 +0100
parent 8782:daa518a22c34
child 8807:bf91de890107
line wrap: on
line diff
--- a/GNUmakefile	Fri May 18 14:57:39 2018 +0100
+++ b/GNUmakefile	Fri May 18 14:58:14 2018 +0100
@@ -76,6 +76,10 @@
 	luacov-console -s
 	@echo "To inspect individual files run: luacov-console -l FILENAME"
 
+lint:
+	luacheck -q $$(hg files -I '**.lua') prosody prosodyctl
+	@echo $$(sed -n '/^exclude_files/,/^}/p;' .luacheckrc | sed '1d;$d' | wc -l) files ignored
+
 util/%.so:
 	$(MAKE) install -C util-src