Index: dart/tools/create_editor.py |
diff --git a/dart/tools/create_editor.py b/dart/tools/create_editor.py |
index 086c119ccb1ed0dbd14feb568771f53b9aaf30f6..aa1466537cb77fd9cda868c37d0484b247d95129 100644 |
--- a/dart/tools/create_editor.py |
+++ b/dart/tools/create_editor.py |
@@ -195,6 +195,7 @@ def Main(): |
'-Dbuild.dart.sdk=' + GetSdkPath(), |
'-Dbuild.no.properties=true', |
'-Dbuild.channel=' + utils.GetChannel(), |
+ '-Dbuild.version.qualifier=' + utils.GetEclipseVersionQualifier(), |
'-buildfile', |
buildScript] |
print build_cmd |