Don't compress on every run.

diff --git a/tools/make-git b/tools/make-git
index 73482aecc194b89c4eab2cde7ef5b4b87239b297..6c01deea37b54b063b831e74c31155d87b0e40cd 100644 (file)
--- a/tools/make-git
+++ b/tools/make-git
@@ -50,7 +50,7 @@ git_pull() {
                shift
                git pull $* | grep -q "Already up-to-date." || rm -f $FAILED
                [ -e $FAILED ] || distccd_restart
-               git_gc
+               [ "$(expr $RANDOM % 25)" -eq "0" ] && git_gc
        else
                if [ "$CURRENT_BRANCH" == "master" ]; then
                        if ! (git status | grep -q "working directory clean"); then