| 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'):
|
|
|