Fetch from a packed repository on dumb servers.

[thirdparty/git.git] / Makefile

diff --git a/Makefile b/Makefile
index 332cd7d235036b4415b1111d725f59fd6f98ff0b..db52a852f6c7911ebcacaf77bee4ff6f4106b92c 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -65,7 +65,7 @@ SCRIPTS=git git-apply-patch-script git-merge-one-file-script git-prune-script \
        git-format-patch-script git-sh-setup-script git-push-script \
        git-branch-script git-parse-remote git-verify-tag-script \
        git-ls-remote-script git-clone-dumb-http git-rename-script \
-       git-request-pull-script git-bisect-script
+       git-request-pull-script git-bisect-script git-fetch-dumb-http
 
 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 \
@@ -79,7 +79,8 @@ PROG=   git-update-cache git-diff-files git-init-db git-write-tree \
        git-unpack-objects git-verify-pack git-receive-pack git-send-pack \
        git-prune-packed git-fetch-pack git-upload-pack git-clone-pack \
        git-show-index git-daemon git-var git-peek-remote \
-       git-update-server-info git-show-rev-cache git-build-rev-cache
+       git-update-server-info git-show-rev-cache git-build-rev-cache \
+       git-missing-revs
 
 ifndef NO_CURL
 PROG+= git-http-pull