Fix name of dart2js full bots to be shorter

Fix name of dart2js full bots to be shorter

R=whesse@google.com

Committed: https://code.google.com/p/dart/source/detail?r=38024

[Bill Hesse, 2014-07-07 13:02:41]

LGTM, with comments.

https://codereview.chromium.org/376593002/diff/20001/tools/bots/compiler.py
File tools/bots/compiler.py (left):

https://codereview.chromium.org/376593002/diff/20001/tools/bots/compiler.py#o...
tools/bots/compiler.py:27: DART2JS_FULL_BUILDER =
r'dart2js-full-(linux|mac|windows-ie10|windows-ie11)(-checked)?(-minified)?-(\d+)-(\d+)'
Grab the '-' eagerly? :  ...|win8)-((ie10|ie11)-)?(checked-)?(\d+)-...
and make sure to change "-checked" and "-minified" where they are used?

https://codereview.chromium.org/376593002/diff/20001/tools/bots/compiler.py
File tools/bots/compiler.py (right):

https://codereview.chromium.org/376593002/diff/20001/tools/bots/compiler.py#n...
tools/bots/compiler.py:151: #    return None
Stray comment marker?

[ricow1, 2014-07-07 13:05:43]

https://codereview.chromium.org/376593002/diff/20001/tools/bots/compiler.py
File tools/bots/compiler.py (left):

https://codereview.chromium.org/376593002/diff/20001/tools/bots/compiler.py#o...
tools/bots/compiler.py:27: DART2JS_FULL_BUILDER =
r'dart2js-full-(linux|mac|windows-ie10|windows-ie11)(-checked)?(-minified)?-(\d+)-(\d+)'
On 2014/07/07 13:02:41, Bill Hesse wrote:
> Grab the '-' eagerly? :  ...|win8)-((ie10|ie11)-)?(checked-)?(\d+)-...
> and make sure to change "-checked" and "-minified" where they are used?

They are not, on the contrary, we overwrite it for ie and run both checked and
unchecked

https://codereview.chromium.org/376593002/diff/20001/tools/bots/compiler.py
File tools/bots/compiler.py (right):

https://codereview.chromium.org/376593002/diff/20001/tools/bots/compiler.py#n...
tools/bots/compiler.py:151: #    return None
On 2014/07/07 13:02:41, Bill Hesse wrote:
> Stray comment marker?

Thanks

[ricow1, 2014-07-07 13:06:01]

Committed patchset #3 manually as r38024 (presubmit successful).