aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile15
1 files changed, 9 insertions, 6 deletions
diff --git a/Makefile b/Makefile
index fed84582a9..0c057f5656 100644
--- a/Makefile
+++ b/Makefile
@@ -126,12 +126,15 @@ distclean: clean
install: | nvim
+$(BUILD_CMD) -C build install
-clint:
- $(CMAKE_PRG) -DLINT_PRG=./src/clint.py \
- -DLINT_DIR=src \
- -DLINT_SUPPRESS_URL="$(DOC_DOWNLOAD_URL_BASE)$(CLINT_ERRORS_FILE_PATH)" \
- -P cmake/RunLint.cmake
+clint: build/.ran-cmake
+ +$(BUILD_CMD) -C build clint
-lint: clint testlint
+clint-full: build/.ran-cmake
+ +$(BUILD_CMD) -C build clint-full
+
+check-single-includes: build/.ran-cmake
+ +$(BUILD_CMD) -C build check-single-includes
+
+lint: check-single-includes clint testlint
.PHONY: test testlint functionaltest unittest lint clint clean distclean nvim libnvim cmake deps install