| Index: tools/release/version.dart
|
| ===================================================================
|
| --- tools/release/version.dart (revision 13566)
|
| +++ tools/release/version.dart (working copy)
|
| @@ -152,6 +152,10 @@
|
| });
|
| }
|
|
|
| + bool isProductionBuild(String username) {
|
| + return username == "chrome-bot";
|
| + }
|
| +
|
| String getUserName() {
|
| // TODO(ricow): Don't add this on the buildbot.
|
| var key = "USER";
|
| @@ -159,7 +163,11 @@
|
| key = "USERNAME";
|
| }
|
| if (!Platform.environment.containsKey(key)) return "";
|
| - return Platform.environment[key];
|
| + var username = Platform.environment[key];
|
| + // If this is a production build, i.e., this is something we are shipping,
|
| + // don't suffix the version with the username.
|
| + if (isProductionBuild(username)) return "";
|
| + return username;
|
| }
|
|
|
| RepositoryType get repositoryType {
|
|
|