diff --git a/Makefile.am b/Makefile.am index 803b0a92a..4c54c9122 100644 --- a/Makefile.am +++ b/Makefile.am @@ -52,7 +52,11 @@ endif WITH_PYLINT if WITH_JSLINT JSLINT_TARGET = jslint endif WITH_JSLINT -lint: $(PYLINT_TARGET) $(JSLINT_TARGET) +lint: acilint $(PYLINT_TARGET) $(JSLINT_TARGET) + +.PHONY: acilint +acilint: + cd $(srcdir); ./makeaci --validate .PHONY: pylint pylint: