GNUmakefile
changeset 9426 d4e8aedc0f82
parent 9419 15cd0d9cde7c
child 9432 5f51710d7c1e
--- a/GNUmakefile	Mon Oct 01 15:33:10 2018 +0100
+++ b/GNUmakefile	Mon Oct 01 15:35:53 2018 +0100
@@ -82,6 +82,7 @@
 lint:
 	$(LUACHECK) -q $$(HGPLAIN= hg files -I '**.lua') prosody prosodyctl
 	@echo $$(sed -n '/^\tlocal exclude_files/,/^}/p;' .luacheckrc | sed '1d;$d' | wc -l) files ignored
+	shellcheck configure
 
 util/%.so:
 	$(MAKE) install -C util-src