diff -r 02155a10c5e9 -r 15cd0d9cde7c 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