Be more aggressive about marking trees uninteresting

[git.git] / Makefile

diff --git a/Makefile b/Makefile
index 8492b08575a31500bdad389b5bf8e6d420ac176e..d440f82967cbdd18b2045ee798f28a13821a096d 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -36,7 +36,7 @@ SCRIPTS=git git-apply-patch-script git-merge-one-file-script git-prune-script \
        git-reset-script git-add-script git-checkout-script git-clone-script \
        gitk git-cherry git-rebase-script git-relink-script git-repack-script \
        git-format-patch-script git-sh-setup-script git-push-script \
-       git-branch-script
+       git-branch-script git-parse-remote git-verify-tag-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 \
@@ -195,12 +195,16 @@ test: all
 doc:
        $(MAKE) -C Documentation all
 
+install-tools:
+       $(MAKE) -C tools install
+
 install-doc:
        $(MAKE) -C Documentation install
 
 clean:
        rm -f *.o mozilla-sha1/*.o ppc/*.o $(PROG) $(LIB_FILE)
        rm -f git-core-*.tar.gz git-core.spec
+       $(MAKE) -C tools/ clean
        $(MAKE) -C Documentation/ clean
 
 backup: clean