Changeset

8798:505722879b55

GNUmakefile: Add 'lint' target
author Matthew Wild <mwild1@gmail.com>
date Fri, 18 May 2018 14:58:14 +0100
parents 8797:7b621a4a2e8d
children 8799:7324a2fe755a
files GNUmakefile
diffstat 1 files changed, 4 insertions(+), 0 deletions(-) [+]
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