| Index: dart/tools/create_editor.py
|
| diff --git a/dart/tools/create_editor.py b/dart/tools/create_editor.py
|
| index ba4f4fa5eb8fb080d1df8824fe53e427bc036d9d..086c119ccb1ed0dbd14feb568771f53b9aaf30f6 100644
|
| --- a/dart/tools/create_editor.py
|
| +++ b/dart/tools/create_editor.py
|
| @@ -187,15 +187,14 @@ 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
|
|
|