aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
author魏曹先生 <1992414357@qq.com>2026-07-23 11:04:47 +0800
committer魏曹先生 <1992414357@qq.com>2026-07-23 11:04:47 +0800
commit67d504ef879f0befbc4af74943e227cd20d19d71 (patch)
tree1b96207bdc0f863191d94273dd4b295534923818
parent95ecdd045b93a86938f9a44270357a427123f319 (diff)
43
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 3c4d4f1..11608ce 100644
--- a/Makefile
+++ b/Makefile
@@ -39,7 +39,7 @@ check-lock:
if [ ! -f "$$base" ]; then \
echo "ERROR: $$lock has no matching source file"; \
errors=1; \
- elif git --no-pager diff --quiet "$$lock" "$$base" 2>/dev/null; then \
+ elif git --no-pager diff --no-index "$$lock" "$$base" 2>/dev/null; then \
:; \
else \
git --no-pager diff "$$lock" "$$base" || true; \