sync-webkit-git: reduce diff-index output

tools/sync-webkit-git.py

 #!/usr/bin/python
 # Copyright (c) 2009 The Chromium Authors. All rights reserved.
 # Use of this source code is governed by a BSD-style license that can be
 # found in the LICENSE file.
 
 """Update third_party/WebKit using git.
 
 Under the assumption third_party/WebKit is a clone of git.webkit.org,
 we can use git commands to make it match the version requested by DEPS.
 
@@ skipping 57 matching lines @@
   return True
 
 def UpdateCurrentCheckoutIfAppropriate():
   """Reset the current gclient branch if that's what we have checked out."""
   branch = RunGit(['symbolic-ref', '-q', 'HEAD'])
   if branch != MAGIC_GCLIENT_BRANCH:
     print "Directory has some other branch ('%s') checked out." % branch
     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'])
 
 def main():
   webkit_rev = GetWebKitRev()
   print 'Desired revision: r%s.' % webkit_rev
   os.chdir('third_party/WebKit')
   changed = UpdateGClientBranch(webkit_rev)
   if changed:
     UpdateCurrentCheckoutIfAppropriate()
 
 if __name__ == '__main__':
   main()