On 12/11/06, Marco Costalba <mcostalba@xxxxxxxxx> wrote:
$ time git rev-list --header --boundary --parents --topo-order HEAD
/dev/null
3.04user 0.05system 0:03.09elapsed 100%CPU (0avgtext+0avgdata 0maxresident)k
0inputs+0outputs (0major+10141minor)pagefaults 0swaps
here you filtered output of git-rev-list by /dev/null, which makes no sense
$ time git rev-list --header --boundary --parents --topo-order HEAD >
/tmp/tmp.txt; cat /tmp/tmp.txt > /dev/null
3.44user 0.28system 0:03.74elapsed 99%CPU (0avgtext+0avgdata 0maxresident)k
0inputs+0outputs (0major+18033minor)pagefaults 0swaps
should be: time { git-rev-list >/tmp/tmp; cat /tmp/tmp >/dev/null; }
Otherwise you only timing the writing, and forget the reading
-
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html