diff options
| author | 魏曹先生 <1992414357@qq.com> | 2026-07-23 11:04:47 +0800 |
|---|---|---|
| committer | 魏曹先生 <1992414357@qq.com> | 2026-07-23 11:04:47 +0800 |
| commit | 67d504ef879f0befbc4af74943e227cd20d19d71 (patch) | |
| tree | 1b96207bdc0f863191d94273dd4b295534923818 | |
| parent | 95ecdd045b93a86938f9a44270357a427123f319 (diff) | |
43
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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; \ |
