| Index: tools/bots/compiler.py
|
| ===================================================================
|
| --- tools/bots/compiler.py (revision 39082)
|
| +++ tools/bots/compiler.py (working copy)
|
| @@ -125,6 +125,10 @@
|
| arch = 'x64'
|
| if dart2js_pattern.group(14) == 'batch':
|
| batch = True
|
| + # This is temporary, slowly enabling this.
|
| + if system == 'linux' or system.startswith('mac'):
|
| + batch = True
|
| +
|
| shard_index = dart2js_pattern.group(15)
|
| total_shards = dart2js_pattern.group(16)
|
| elif dartium_pattern:
|
| @@ -143,10 +147,6 @@
|
| if system == 'mac10.8' or system == 'mac10.7':
|
| system = 'mac'
|
|
|
| - # This is temporary, slowly enabling this.
|
| - if system == 'linux' or system == 'mac':
|
| - batch = True
|
| -
|
| if (system == 'windows' and platform.system() != 'Windows') or (
|
| system == 'mac' and platform.system() != 'Darwin') or (
|
| system == 'linux' and platform.system() != 'Linux'):
|
|
|