Then convention in Git's Makefile is to mark targets which do not
actually generate any precious files (such as static checking targets).
.PHONY enables the target to still run, even if a file is erroneously
created with the same name as the target.
Mark 'check-builtins' as a .PHONY target.
Signed-off-by: Denton Liu <redacted>
---
Makefile | 1 +
1 file changed, 1 insertion(+)
diff --git a/Makefile b/Makefile
index dfb0f1000f..6dbecdb606 100644
--- a/Makefile
+++ b/Makefile
@@ -3236,6 +3236,7 @@ check-docs::
### Make sure built-ins do not have dups and listed in git.c
#
+.PHONY: check-builtins
check-builtins::
./check-builtins.sh
--
2.31.0.rc2.261.g7f71774620