Restore git history check (#7463)

This commit is contained in:
RavePossum 2025-08-04 11:24:49 -04:00 committed by GitHub
parent f6a120310e
commit 7500fc00db
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -12,10 +12,10 @@ TOOLDIRS := $(TOOL_NAMES:%=$(TOOLS_DIR)/%)
CHECKTOOLDIRS := $(CHECK_TOOL_NAMES:%=$(TOOLS_DIR)/%)
# Tool making doesnt require a pokeemerald dependency scan.
RULES_NO_SCAN += tools check-tools clean-tools clean-check-tools $(TOOLDIRS) $(CHECKTOOLDIRS)
RULES_NO_SCAN += tools check-tools clean-tools clean-check-tools history $(TOOLDIRS) $(CHECKTOOLDIRS)
.PHONY: $(RULES_NO_SCAN)
tools: $(TOOLDIRS)
tools: history $(TOOLDIRS)
check-tools: $(CHECKTOOLDIRS)
@ -30,3 +30,6 @@ clean-tools:
clean-check-tools:
@$(foreach tooldir,$(CHECKTOOLDIRS),$(MAKE) clean -C $(tooldir);)
history:
@$(SHELL) ./check_history.sh