git-diff-timings.sh

   1 #!/bin/sh
   2 n=100
   3
   4 a=8617be5f55b0bac9282fc755228a32651eae58a1
   5 b=34e4102951c102210404bd4418fdeb10002730de
   6
   7 while [ $n -ge 1 ]; do
   8     n=$(( $n - 1 ))
   9
  10 #      git diff-tree -z --no-renames --name-only $a: $b: -- >/dev/null
  11 #      git diff-tree -z --no-renames $a: $b: -- >/dev/null
  12
  13     # git cat-file tree $a: >/dev/null
  14     # git cat-file tree $b: >/dev/null
  15
  16     git cat-file -t $a: >/dev/null
  17     git cat-file -t $b: >/dev/null
  18
  19     git ls-tree -z $a: >/dev/null
  20     git ls-tree -z $b: >/dev/null
  21
  22 done
  23