git-gui: Use git diff --submodule when available
authorJens Lehmann <Jens.Lehmann@web.de>
Sat, 23 Jan 2010 22:04:12 +0000 (23:04 +0100)
committerShawn O. Pearce <spearce@spearce.org>
Sat, 23 Jan 2010 23:14:15 +0000 (15:14 -0800)
Doing so is much faster and gives the same output.
Here are some numbers:

$ time git submodule summary
real 0m0.219s
user 0m0.050s
sys 0m0.111s

$ time git diff --submodule
real 0m0.012s
user 0m0.003s
sys 0m0.009s

Signed-off-by: Jens Lehmann <Jens.Lehmann@web.de>
Signed-off-by: Shawn O. Pearce <spearce@spearce.org>
No differences found