From 9076d4ed0a9edc17d623f7a70b3212bbc2b7e2af Mon Sep 17 00:00:00 2001 From: Gerwin Klein Date: Tue, 24 Mar 2026 15:00:15 +1100 Subject: [PATCH] Makefile: add target for updating all input repos Run `git pull --rebase` in all repositories under `_repos/`. Signed-off-by: Gerwin Klein --- Makefile | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index fbd1625c7f3..2cb7a4bc2e4 100644 --- a/Makefile +++ b/Makefile @@ -16,8 +16,9 @@ help: @echo " check_conformance_errors - Check for conformance and show errors" @echo " check_liquid_syntax - Check the liquid syntax of the templates" @echo " check_html_output - Check the HTML output using tidy" - @echo " checklinks - Runs html-proofer to check for broken links." - @echo " validate - Runs html5validator to check for HTML5 compliance." + @echo " checklinks - Runs html-proofer to check for broken links" + @echo " validate - Runs html5validator to check for HTML5 compliance" + @echo " update_repos - Pull the latest changes for all git repos under _repos" .PHONY: ruby_deps ruby_deps: .jekyll-cache/ruby_deps @@ -71,6 +72,13 @@ $(REPOSITORIES): .PHONY: repos repos: $(REPOSITORIES) +.PHONY: update_repos +update_repos: + for repo in $(REPOSITORIES); do \ + echo "======== updating $$repo"; \ + (cd $$repo && git pull --rebase); \ + done + # Microkit MICROKIT_REPO = _repos/sel4/microkit