| Index: dart/tools/create_editor.py | 
| diff --git a/dart/tools/create_editor.py b/dart/tools/create_editor.py | 
| index 086c119ccb1ed0dbd14feb568771f53b9aaf30f6..ba4f4fa5eb8fb080d1df8824fe53e427bc036d9d 100644 | 
| --- a/dart/tools/create_editor.py | 
| +++ b/dart/tools/create_editor.py | 
| @@ -187,14 +187,15 @@ def Main(): | 
| join('third_party', 'bzip2', 'bzip2.jar'), | 
| '-Dbuild.out=' + OUTPUT, | 
| '-Dbuild.configs=' + buildConfig, | 
| -      '-Dbuild.revision=' + utils.GetSVNRevision(), | 
| -      '-Ddart.version.full=' + utils.GetVersion(), | 
| '-Dbuild.root=' + GetEclipseBuildRoot(), | 
| '-Dbuild.downloads=' + GetDownloadCache(), | 
| '-Dbuild.source=' + os.path.abspath('editor'), | 
| '-Dbuild.dart.sdk=' + GetSdkPath(), | 
| '-Dbuild.no.properties=true', | 
| '-Dbuild.channel=' + utils.GetChannel(), | 
| +      '-Dbuild.revision=' + utils.GetSVNRevision(), | 
| +      '-Dbuild.version.qualifier=' + utils.GetEclipseVersionQualifier(), | 
| +      '-Ddart.version.full=' + utils.GetVersion(), | 
| '-buildfile', | 
| buildScript] | 
| print build_cmd | 
|  |