| Index: dart/tools/bots/bot.py
|
| diff --git a/dart/tools/bots/bot.py b/dart/tools/bots/bot.py
|
| index 92fec5c46e9b74508077d90a5bce84ee2713254f..993ff4f6809ad9807f6a4ae863a97761ab3a7a05 100644
|
| --- a/dart/tools/bots/bot.py
|
| +++ b/dart/tools/bots/bot.py
|
| @@ -25,7 +25,7 @@ class BuildInfo(object):
|
| """
|
| Encapsulation of build information.
|
|
|
| - - compiler: None, 'dart2dart', 'dart2js' or 'dartc'.
|
| + - compiler: None, 'dart2dart' or 'dart2js'
|
| - runtime: 'd8', 'ie', 'ff', 'safari', 'chrome', 'opera', or None.
|
| - mode: 'debug' or 'release'.
|
| - system: 'linux', 'mac', or 'win7'.
|
|
|