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 |