From f9c0cd6946b545524891cbe6eaafb3bd773b9b0a Mon Sep 17 00:00:00 2001 From: Dmitry Vyukov Date: Thu, 7 Nov 2024 15:39:47 +0100 Subject: tools: add HTML checking script Check that HTML files are not inconsistently formatted with both tabs and spaces. --- Makefile | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 6b770e7b5..becb95317 100644 --- a/Makefile +++ b/Makefile @@ -105,7 +105,7 @@ endif extract generate generate_go generate_rpc generate_sys \ format format_go format_cpp format_sys \ tidy test test_race \ - check_copyright check_language check_whitespace check_links check_diff check_commits check_shebang \ + check_copyright check_language check_whitespace check_links check_diff check_commits check_shebang check_html \ presubmit presubmit_aux presubmit_build presubmit_arch_linux presubmit_arch_freebsd \ presubmit_arch_netbsd presubmit_arch_openbsd presubmit_arch_darwin presubmit_arch_windows \ presubmit_arch_executor presubmit_dashboard presubmit_race presubmit_race_dashboard presubmit_old @@ -307,7 +307,7 @@ presubmit: presubmit_aux: $(MAKE) generate - $(MAKE) -j100 check_commits check_diff check_copyright check_language check_whitespace check_links check_shebang tidy + $(MAKE) -j100 check_commits check_diff check_copyright check_language check_whitespace check_links check_html check_shebang tidy $(GO) mod tidy presubmit_build: descriptions @@ -428,6 +428,9 @@ check_commits: check_links: python ./tools/check_links.py $$(pwd) $$(find . -name '*.md' | grep -v "./vendor/") +check_html: + ./tools/check-html.sh + # Check that the diff is empty. This is meant to be executed after generating # and formatting the code to make sure that everything is committed. check_diff: -- cgit mrf-deployment