| Index: tools/bots/bot.py
|
| ===================================================================
|
| --- tools/bots/bot.py (revision 32052)
|
| +++ tools/bots/bot.py (working copy)
|
| @@ -40,11 +40,12 @@
|
| - arch: The architecture to build on.
|
| - dart2js_full: Boolean indicating whether this builder will run dart2js
|
| on several different runtimes.
|
| + - builder_tag: A tag indicating a special builder setup.
|
| """
|
| def __init__(self, compiler, runtime, mode, system, checked=False,
|
| host_checked=False, minified=False, shard_index=None,
|
| total_shards=None, is_buildbot=False, test_set=None,
|
| - csp=None, arch=None, dart2js_full=False):
|
| + csp=None, arch=None, dart2js_full=False, builder_tag=None):
|
| self.compiler = compiler
|
| self.runtime = runtime
|
| self.mode = mode
|
| @@ -58,6 +59,7 @@
|
| self.test_set = test_set
|
| self.csp = csp
|
| self.dart2js_full = dart2js_full
|
| + self.builder_tag = builder_tag
|
| if (arch == None):
|
| self.arch = 'ia32'
|
| else:
|
|
|