Changeset

9416:15cd0d9cde7c

make lint: Fix 'ignored files' count
author Matthew Wild <mwild1@gmail.com>
date Mon, 01 Oct 2018 15:26:51 +0100
parents 9415:02155a10c5e9
children 9417:f5a471303e6a
files GNUmakefile
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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