| Index: tools/bots/compiler.py
|
| ===================================================================
|
| --- tools/bots/compiler.py (revision 39118)
|
| +++ tools/bots/compiler.py (working copy)
|
| @@ -125,9 +125,6 @@
|
| 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)
|
| @@ -147,6 +144,10 @@
|
| 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'):
|
|
|