sync-webkit-git: reduce diff-index output

tools/sync-webkit-git.py

Index: tools/sync-webkit-git.py
diff --git a/tools/sync-webkit-git.py b/tools/sync-webkit-git.py
index 0de9d409ac77d9adca8df99714d68901abb5b32b..469d82bd076112c77ead6e251de5a825c8543453 100755
--- a/tools/sync-webkit-git.py
+++ b/tools/sync-webkit-git.py
@@ -75,7 +75,8 @@ def UpdateCurrentCheckoutIfAppropriate():
     print "Run 'git checkout gclient' to put this under control of gclient."
     return
 
-  if subprocess.call(['git', 'diff-index', '--exit-code', 'HEAD']):
+  if subprocess.call(['git', 'diff-index', '--exit-code', '--shortstat',
+	              'HEAD']):
     print "Resetting tree state to new revision."
     subprocess.check_call(['git', 'reset', '--hard'])