Makefile: add a check-local target

Add an intermediate `check-local' target to the Makefile, to run all the verifications on the repository, which do not connect to the internet (i.e. everything except sphinx `linkcheck'). No functional change to the check target, which depends on both check-local and linkcheck targets. Signed-off-by: Vincent Stehlé <[email protected]>
ARM-software · Jan 14, 2025 · 26c17b1 · 26c17b1
1 parent dcceaa6
commit 26c17b1
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/Makefile b/Makefile
@@ -17,14 +17,15 @@ help:
 	@echo
 	@echo 'Use "make check" to perform verifications on this repository.'
 
-.PHONY: help Makefile check
+.PHONY: help Makefile check check-local
 
-check:
+check-local:
 	! grep -r --file=.typos.txt --exclude=.typos.txt --exclude-dir=.git
 	yamllint .
 	flake8 .
 	mypy .
-	$(SPHINXBUILD) -M linkcheck "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
+
+check: check-local linkcheck
 
 # Catch-all target: route all unknown targets to Sphinx using the new
 # "make mode" option.  $(O) is meant as a shortcut for $(SPHINXOPTS).