make lint: Fix 'ignored files' count
authorMatthew Wild <mwild1@gmail.com>
Mon, 01 Oct 2018 15:26:51 +0100
changeset 9419 15cd0d9cde7c
parent 9418 02155a10c5e9
child 9420 f5a471303e6a
make lint: Fix 'ignored files' count
GNUmakefile
--- a/GNUmakefile	Sun Sep 30 17:55:13 2018 +0200
+++ b/GNUmakefile	Mon Oct 01 15:26:51 2018 +0100
@@ -81,7 +81,7 @@
 
 lint:
 	$(LUACHECK) -q $$(HGPLAIN= hg files -I '**.lua') prosody prosodyctl
-	@echo $$(sed -n '/^exclude_files/,/^}/p;' .luacheckrc | sed '1d;$d' | wc -l) files ignored
+	@echo $$(sed -n '/^\tlocal exclude_files/,/^}/p;' .luacheckrc | sed '1d;$d' | wc -l) files ignored
 
 util/%.so:
 	$(MAKE) install -C util-src