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 |