Optimization for patch file generation

tools/deps/dartium.deps/DEPS

 
 import gclient_utils
 import os
 
 path = gclient_utils.FindGclientRoot(os.getcwd())
 execfile(os.path.join(path, 'src', 'dart', 'tools', 'deps', 'dartium.deps', 'DEPS.chromium')) # Include proper Chromium DEPS.
 
 # Now we need to override some settings and add some new ones.
 
 vars.update({
   "dartium_chromium_commit": "81ac1404ddd8fde55b9eb28a97c8a6d8b75e264f",
-  "dartium_webkit_commit": "ef30dc04127c86283c1f5c5c6b0094d73b1e29df",
+  "dartium_webkit_commit": "ca3b07f5929e6adb390901b31db634f4dfe0d2bf",
   "chromium_base_revision": "338390",
 
   # We use mirrors of all github repos to guarantee reproducibility and
   # consistency between what users see and what the bots see.
   # We need the mirrors to not have 100+ bots pulling github constantly.
   # We mirror our github repos on chromium git servers.
   # DO NOT use this var if you don't see a mirror here:
   #   https://chromium.googlesource.com/
   # named like:
   #   external/github.com/dart-lang/NAME
@@ skipping 197 matching lines @@
     "--no_resume",
     "--bucket",
     "dart-dependencies",
     "--recursive",
     "--auto_platform",
     "--extract",
     "--directory",
     "src/dart/tools/sdks",
   ],
 })