Index: scripts/master/chromium_step.py |
=================================================================== |
--- scripts/master/chromium_step.py (revision 183310) |
+++ scripts/master/chromium_step.py (working copy) |
@@ -102,6 +102,10 @@ |
warnings = [] |
args = copy.copy(self.args) |
wk_revision = revision |
+ if patch: |
+ match = re.search(r'third_party/WebKit@(\w+)', patch[1]) |
+ if match: |
+ wk_revision = match.group(1) |
try: |
# parent_wk_revision might be set, but empty. |
if self.getProperty('parent_wk_revision'): |