| Index: tools/bots/compiler.py
|
| ===================================================================
|
| --- tools/bots/compiler.py (revision 38145)
|
| +++ tools/bots/compiler.py (working copy)
|
| @@ -63,7 +63,8 @@
|
| csp = None
|
| arch = None
|
| dart2js_full = False
|
| - batch = False
|
| + # We default to true for running in batch mode on dart2js
|
| + batch = True
|
| builder_tag = None
|
|
|
| dart2js_pattern = re.match(DART2JS_BUILDER, builder_name)
|
| @@ -123,8 +124,6 @@
|
| minified = True
|
| if dart2js_pattern.group(12) == 'x64':
|
| arch = 'x64'
|
| - if dart2js_pattern.group(14) == 'batch':
|
| - batch = True
|
| shard_index = dart2js_pattern.group(15)
|
| total_shards = dart2js_pattern.group(16)
|
| elif dartium_pattern:
|
|
|