summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorLibravatar Junio C Hamano <junkio@cox.net>2005-08-03 19:13:52 -0700
committerLibravatar Junio C Hamano <junkio@cox.net>2005-08-03 21:41:55 -0700
commit20f6633112c2a95b4907b4ff2e41e3c450395d34 (patch)
tree05f004ea2d6fcbc41902564d84a7e6234c8b0167 /Makefile
parent[PATCH] Fix debian doc-base (diff)
downloadtgif-20f6633112c2a95b4907b4ff2e41e3c450395d34.tar.xz
Retire check-files.
The king penguin said: It has no point any more, all the tools check the file status on their own, and yes, the thing should probably be removed. and the faithful servant makes it so. Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index c0aaa62b6a..7b5397e4aa 100644
--- a/Makefile
+++ b/Makefile
@@ -75,7 +75,7 @@ SCRIPTS += git-send-email-script
PROG= git-update-cache git-diff-files git-init-db git-write-tree \
git-read-tree git-commit-tree git-cat-file git-fsck-cache \
git-checkout-cache git-diff-tree git-rev-tree git-ls-files \
- git-check-files git-ls-tree git-merge-base git-merge-cache \
+ git-ls-tree git-merge-base git-merge-cache \
git-unpack-file git-export git-diff-cache git-convert-cache \
git-ssh-push git-ssh-pull git-rev-list git-mktag \
git-diff-helper git-tar-tree git-local-pull git-hash-object \